The Analysis of concurrent systems
Subtitle: proceedings, Cambridge, September 12-16, 1983
By: edited by B.T. Denvir ... [et al.].
Contributors: Denvir, B. T.
Series: Lecture notes in computer science ;; 207
Publisher: Springer-Verlag
Published: 1985
Place of publication: Berlin; New York
Language: eng
Number of pages: 398
Subjects: Parallel processing (Electronic computers) -- Congresses.
Notes: Includes bibliographies.