Springer
CONCUR 2007LisbonPortugalSeptember 3-82007Proceedings
This book is printed on demand and is non-refundable after purchase
Available Formats :
Printed Book
It will be sent to your address
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.
Report an issue with this product.