Understanding Concurrent Systems (Texts in Computer Science)

The Temporal Logic of Reactive and Concurrent Systems: Specification

Designing Financial-Grade Systems in a Concurrent World

SYSTEME D'EXPLOITATION Processus Concurrents: Problèmes avec solutions

Coloured Petri Nets: Modelling and Validation of Concurrent Systems