Spar
CONCUR 2008 - Concurrency Theory
Constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held in Toronto, Canada, August 19-22, 2008. This title includes topics such as model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, and formal languages.
- Undertittel
- 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings
- Redaktør
- Franck van Breugel, Marsha Chechik
- Opplag
- 2008 ed.
- ISBN
- 9783540853602
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 30.7.2008
- Antall sider
- 524
