Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems
Κύριος συγγραφέας: | Bowman, Howard |
---|---|
Άλλοι συγγραφείς: | Gomez, Rodolfo |
Μορφή: | Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
London
Springer-Verlag London Limited
2006
|
Θέματα: | |
Διαθέσιμο Online: | http://dx.doi.org/10.1007/1-84628-336-1 |
Παρόμοια τεκμήρια
-
A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors
ανά: Kurki-Suonio, Reino
Έκδοση: (2005) -
A Theory of Distributed Objects Asynchrony β Mobility β Groups β Components
ανά: Caromel, Denis
Έκδοση: (2005) -
Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
ανά: Pnueli, Amir
Έκδοση: (2010) -
Software Engineering 3 Domains, Requirements, and Software Design
ανά: BjΓΈner, Dines
Έκδοση: (2006) -
Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever
ανά: Dams, Dennis
Έκδοση: (2010)