Structured Analysis and System Specification by Tom Demarco Hardcover

Specification and Design of Concurrent Systems (McGraw-Hill Inte

Neural and Concurrent Real-Time Systems : The 6th Generation by Branko Soucek..

Janicki - Specification and Analysis of Concurrent Systems - New paper - X555z

The Temporal Logic of Reactive and Concurrent Systems: Specification

Concurrent Programming: Algorithms, Principles, and Foundations, Raynal, Michel,

Specification and Analysis of Concurrent Systems: The COSY Approach (Monographs

Specification and Design of Concurrent Systems (McGraw-Hill International Serie