Concurrency Theory Calculi an Automata for Modelling Untimed and Timed Concurrent Systems /
Concurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages and graphical notations for describing collections of simultaneously evolving components that interact through synchronous communication. The main specification notation focus...
Clasificación: | Libro Electrónico |
---|---|
Autores principales: | Bowman, Howard (Autor), Gomez, Rodolfo (Autor) |
Autor Corporativo: | SpringerLink (Online service) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
London :
Springer London : Imprint: Springer,
2006.
|
Edición: | 1st ed. 2006. |
Temas: | |
Acceso en línea: | Texto Completo |
Ejemplares similares
-
Introduction to Concurrency Theory Transition Systems and CCS /
por: Gorrieri, Roberto, et al.
Publicado: (2015) -
Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
Publicado: (2008) -
Application and Theory of Petri Nets and Concurrency 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings /
Publicado: (2015) -
Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings /
Publicado: (2014) -
CONCUR 2014 - Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings.
Publicado: (2014)