Vai al contenuto principale della pagina
Titolo: |
CONCUR 2011 -- Concurrency Theory [[electronic resource] ] : 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings / / edited by Joost-Pieter Katoen, Barbara König
![]() |
Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Edizione: | 1st ed. 2011. |
Descrizione fisica: | 1 online resource (XIV, 560 p. 121 illus., 17 illus. in color.) |
Disciplina: | 004 |
Soggetto topico: | Software engineering |
Computer science | |
Computer networks | |
Compilers (Computer programs) | |
Application software | |
Artificial intelligence | |
Software Engineering | |
Computer Science Logic and Foundations of Programming | |
Computer Communication Networks | |
Compilers and Interpreters | |
Computer and Information Systems Applications | |
Artificial Intelligence | |
Persona (resp. second.): | KatoenJoost-Pieter |
KönigBarbara | |
Note generali: | Bibliographic Level Mode of Issuance: Monograph |
Nota di bibliografia: | Includes bibliographical references and index. |
Sommario/riassunto: | This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011. The 32 revised full papers were carefully reviewed and selected from 94 submissions. The papers are organized in topics such as real-time systems, probabilistic systems, automata, separation logic, π-calculus, Petri nets, process algebra and modeling, verification, games, and bisimulation. |
Titolo autorizzato: | CONCUR 2011 -- Concurrency Theory ![]() |
ISBN: | 3-642-23217-5 |
Formato: | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 996466056703316 |
Lo trovi qui: | Univ. di Salerno |
Opac: | Controlla la disponibilità qui |