Limit search to items available for checkout
Previous record Next record
BOOK
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.

Copies/Volumes

LOCATION CALL # STATUS
 Main Stacks  QA76.642 .I56 1990    AVAILABLE
Description viii, 346 p. : ill. ; 25 cm.
Series Workshops in computing.
Note "Published in collaboration with the British Computer Society."
Bibliog. Includes bibliographical references and index.
Subject Parallel programming (Computer science) -- Congresses.
Programming languages (Electronic computers) -- Semantics -- Congresses.
Other 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.