Specification and verification of concurrent systems [electronic resource] / C. Rattray, ed.

This volume contains 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. Specification and verification techniques are playing an increasingly important role in the design and production of...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Corporate Authors:	British Computer Society, BCS-FACS Workshop on Specification and Verification of Concurrent Systems
Other Authors:	Rattray, C. (Charles), 1938-
Format:	Electronic Conference Proceeding eBook
Language:	English
Published:	London ; New York : Springer-Verlag, 1990.
Series:	Workshops in computing.
Subjects:	Parallel processing (Electronic computers) > Congresses. Parallel processing (Electronic computers) Conference papers and proceedings.