Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems
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
-
A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors
by: Kurki-Suonio, Reino
Published: (2005) -
A Theory of Distributed Objects Asynchrony β Mobility β Groups β Components
by: Caromel, Denis
Published: (2005) -
Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
by: Pnueli, Amir
Published: (2010) -
Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever
by: Dams, Dennis
Published: (2010) -
Software Engineering 3 Domains, Requirements, and Software Design
by: BjΓΈner, Dines
Published: (2006)