Tallenna
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.
- Alaotsikko
- 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings
- Toimittaja
- Franck van Breugel, Marsha Chechik
- Painos
- 2008 ed.
- ISBN
- 9783540853602
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 30.7.2008
- Sivumäärä
- 524
