TY  - BOOK
AU  - Gardner Philippa ed.
ED  - International Conference on Concurrency Theory, CONCUR 2004
ED  - International conference on concurrency theory, CONCUR 2004
TI  - Concur 2004 - concurrency theory: proceedings
U1  - 5.1 
PY  - 2004///
CY  - Berlin
PB  - Springer-Verlag
KW  - Concurrency theory
N2  - Among the topics covered are concurrency related aspects of models of computation, semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, decidability, model checking, verification techniques, refinement, term and graph rewriting, distributed programming, constraint logic programming, object-oriented programming, typing systems and algorithms, case studies, tools, and environments for programming and verification
ER  -