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
• Serie: Theoretical Computer Science and General Issues, . 2512-2029 ; ; 6901