TY  - BOOK
AU  - Abadi Martin ed.
ED  - International Conference on Concurrency Theory, CONCUR 2005
ED  - International conference on concurrency theory, CONCUR 2005
TI  - Concur 2005 - concurrency theory: proceedings
SN  - 3-540-28309-9
U1  - 5.1 
PY  - 2005///
CY  - Berlin
PB  - Springer-Verlag
KW  - Concurrency theory
N2  - Among the topics covered are concurrency related aspects of models of computation, Petri nets, model checking, game semantics, process algebras, real-time systems, verification techniques, secrecy and authenticity, refinement, distributed programming, constraint logic programming, typing systems and algorithms, case studies, tools, and environment for programming and verification
ER  -