CONCUR 2011 -- Concurrency Theory  22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings /  [electronic resource] : 
edited by Joost-Pieter Katoen, Barbara König. 
 - 1st ed. 2011. 
 - XIV, 560 p. 121 illus., 17 illus. in color.  online resource. 
 - Theoretical Computer Science and General Issues,  6901  2512-2029 ; .
 - Theoretical Computer Science and General Issues,  6901 .
<br/><br/> 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. 
<br/><br/><label>ISBN: </label>9783642232176 
<br/><br/><label>Standard No.: </label>10.1007/978-3-642-23217-6  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering.<br/>Computer science.<br/>Computer networks .<br/>Compilers (Computer programs).<br/>Application software.<br/>Artificial intelligence.<br/>Software Engineering.<br/>Computer Science Logic and Foundations of Programming.<br/>Computer Communication Networks.<br/>Compilers and Interpreters.<br/>Computer and Information Systems Applications.<br/>Artificial Intelligence.
<br/><br/><label>LC Class. No.: </label>QA76.758 
<br/><br/><label>Dewey Class. No.: </label>005.1