18th International Conference On Concurrency Theory Concur 2007
Download and Read 18th International Conference On Concurrency Theory Concur 2007 full books in PDF, ePUB, and Kindle. Read online free 18th International Conference On Concurrency Theory Concur 2007 ebook anywhere anytime directly on your device. We cannot guarantee that every ebooks is available!
CONCUR 2007 - Concurrency Theory
Author | : Luís Caires |
Publisher | : Springer Science & Business Media |
Total Pages | : 518 |
Release | : 2007-08-22 |
Genre | : Computers |
ISBN | : 3540744061 |
Download CONCUR 2007 - Concurrency Theory Book in PDF, Epub and Kindle
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.
CONCUR 2007 - Concurrency Theory Related Books
Pages: 518
Pages: 132
Pages: 190
Pages: 571
Pages: 537