CONCUR 2007 - Concurrency Theory
18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
VAT 0% included
New
E-book delivered electronically online
E-Book information
Annotation
This volume constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory. Thirty full papers are presented along with three important invited papers. Each of these papers was carefully reviewed by the editors. Topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.
Ask question
You can ask us about this book and we'll send an answer to your e-mail.