The Temporal Logic of Reactive and Concurrent Systems - 9781461269502

The Temporal Logic of Reactive and Concurrent Systems: Specification by Manna

The Temporal Logic of Reactive and Concurrent Systems: Specification

Guessarian - Semantics of Systems of Concurrent Processes Litp Spring - X555z

Temporal Verification of Reactive Systems: Safety by Manna

The Temporal Logic of Reactive Systems Vol. 1 : Specification Har

Roscoe - Understanding Concurrent Systems - New paperback or softback - X555z

Rattray - Specification and Verification of Concurrent Systems - New p - X555z