Research Catalog

Semantics for concurrency : proceedings of the International BCS-FACS Workshop

Title
Semantics for concurrency : proceedings of the International BCS-FACS Workshop / sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK ; [editors] M.Z. Kwiatkowska, M.W. Shields, R.M. Thomas.
Publication
London ; New York : Springer-Verlag, c1990.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance JSF 92-195Offsite

Details

Additional Authors
  • Kwiatkowska, M. Z. (Marta Z.), 1957-
  • Shields, M. W. (Michael William), 1950-
  • Thomas, R. M. (Richard Monro), 1952-
  • S.E.R.C. "Logic for IT"
  • British Computer Society.
Description
viii, 346 p. : ill.; 25 cm.
Series Statement
Workshops in computing
Subject
  • Parallel programming (Computer science) > Congresses
  • Programming languages (Electronic computers) > Semantics > Congresses
Note
  • "Published in collaboration with the British Computer Society."
Bibliography (note)
  • Includes bibliographical references and index.
Call Number
JSF 92-195
ISBN
0387196250 (alk. paper)
LCCN
90010064
OCLC
  • 21975901
  • NYPG91-B46117
Title
Semantics for concurrency : proceedings of the International BCS-FACS Workshop / sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK ; [editors] M.Z. Kwiatkowska, M.W. Shields, R.M. Thomas.
Imprint
London ; New York : Springer-Verlag, c1990.
Series
Workshops in computing
Bibliography
Includes bibliographical references and index.
Added Author
Kwiatkowska, M. Z. (Marta Z.), 1957-
Shields, M. W. (Michael William), 1950-
Thomas, R. M. (Richard Monro), 1952-
S.E.R.C. "Logic for IT"
British Computer Society.
Research Call Number
JSF 92-195
View in Legacy Catalog