Specification and verification of concurrent systems
By: C. Rattray, ed.
Contributors: Rattray, C. 1938-; British Computer Society.; BCS-FACS Workshop on Specification and Verification of Concurrent Systems (1988 : University of Stirling)
Series: Workshops in computing
Publisher: Springer-Verlag
Published: 1990
Place of publication: London; New York
Language: eng
Number of pages: 612
Subjects: Parallel processing (Electronic computers) -- Congresses.
Notes: Incudes bibliographical references and index.
"Papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland"--Pref.