Spara
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.
- Undertitel
- 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings
- Redaktör
- Franck van Breugel, Marsha Chechik
- Upplaga
- 2008 ed.
- ISBN
- 9783540853602
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2008-07-30
- Sidor
- 524
