Semantics for concurrency
Subtitle: proceedings of the International BCS-FACS Workshop
By: 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.
Contributors: Kwiatkowska, M. Z. 1957-; Shields, M. W. 1950-; Thomas, R. M. 1952-; S.E.R.C. "Logic for IT."; British Computer Society.
Series: Workshops in computing
Publisher: Springer-Verlag
Published: 1990
Place of publication: London; New York
Language: eng
Number of pages: 346
Subjects: Parallel programming (Computer science) -- Congresses.; Programming languages (Electronic computers) -- Semantics -- Congresses.
Notes: Includes bibliographical references and index.
"Published in collaboration with the British Computer Society."