Spar
CONCUR 2006 - Concurrency Theory
Constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory, CONCUR 2006, held in Bonn, Germany in August 2006. This book contains papers that are organized in topical sections on model checking, process calculi, minimization and equivalence checking, types, semantics and probability.
- Undertittel
- 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006
- Redaktør
- Christel Baier, Holger Hermanns
- Opplag
- 2006 ed.
- ISBN
- 9783540373766
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 10.8.2006
- Antall sider
- 528
