Semantics for concurrency
Subtitle: proceedings of the International BCS-FACS  Workshop, 23-25 July 1990, University of Leicester
By: sponsored by  Logic for IT (S.E.R.C.) ; (edited by) M.Z. Kwiatkowska, M.W.Shields,  R.M. Thomas.
Contributors: Kwiatkowska, M. Z. 1957-; Shields, M. W.; Thomas, R. M. 1952-; Logic for IT.; British Computer Society. Special Interest Group in the Formal Aspects of Computing Science.; International BCS-FACS workshop (July 1990 : Leicester)
Series: Workshops in computing
Publisher: Springer-Verlag in collaboration with the British Computer Society
Place of publication: London
Number of pages: 346
Subjects: Parallel programming (Computer science)