TY  - BOOK
AU  - D'Argenio,Pedro R
AU  - Melgratti,Hernán
TI  - CONCUR 2013 - Concurrency Theory: 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings 
SN  - 9783642401848
PY  - 2013///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Computer logic
KW  - Mathematical statistics
N1  - Process Semantics and Modal Transition Systems.- VAS and Pushdown Systems.- Pi Calculus and Interaction Nets -- Linearizability and Verification of Concurrent Programs -- Verification of Infinite Models, Model Measure and Reversibility.- Stochastic Models.- Message-Based Interacting Processes.-  Principles of Automatic Verification -- Games and Control Synthesis
UR  - http://dx.doi.org/10.1007/978-3-642-40184-8
ER  -