Concurrency Theory : Calculi an Automata for Modelling Untimed and Timed Concurrent Systems (Hardcover)

Background on Concurrency Theory.- Concurrency Theory ? Untimed Models.- Process Calculi: LOTOS.- Basic Interleaved Semantic Models.- True Concurrency Models: Event Structures.- Testing Theory and the Linear Time ? Branching Time Spectrum.- Concurrency Theory ? Further Untimed Notations.- Beyond pbLOTOS.- Comparison of LOTOS with CCS and CSP.- Communicating Automata.- Concurrency Theory ? Timed Models.- Timed Process Calculi, a LOTOS Perspective.- Semantic Models for tLOTOS.- Timed Communicating Automata.- Timelocks in Timed Automata.- Discrete Timed Automata.