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.
Saved in:
Corporate Authors: | , , |
---|---|
Other Authors: | , , |
Format: | Conference Proceeding Book |
Language: | English |
Published: |
London ; New York :
Springer-Verlag,
©1990.
|
Series: | Workshops in computing.
|
Subjects: |
PASCAL Offsite
Call Number: |
QA76.642 .I56 1990
|
---|---|
QA76.642 .I56 1990 | Available Place a Hold |