Specification and Verification of Concurrent Systems, Charles Rattray

Software Engineering 2: Specification of Systems and Languages (Texts in Theoret

The Specification and Design of Concurrent Systems, Percy Mett, David Crowe et P

Concurrent Systems: An Integrated Approach to Operating Systems, Database, and D

The Analysis of Concurrent Systems: Cambridge, September 12-16, 1983. Proceeding

Mathematical Methods of Specification and Synthesis of Software Systems '85

Software Requirements: Analysis and Specification, Alan M. Davis

Specification and Transformation of Programs: A Formal Approach to Software Deve