Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems

Bibliographic Details
Main Author: Bowman, Howard
Other Authors: Gomez, Rodolfo
Format: Electronic Kit Book
Language:English
Published: London Springer-Verlag London Limited 2006
Subjects:
Online Access:http://dx.doi.org/10.1007/1-84628-336-1

Similar Items