Gå direkt till innehållet
CONCUR 2006 - Concurrency Theory
Spara

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.
Undertitel
17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006
Upplaga
2006 ed.
ISBN
9783540373766
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2006-08-10
Sidor
528