Concur 2005 Concurrency Theory
Download and Read Concur 2005 Concurrency Theory full books in PDF, ePUB, and Kindle. Read online free Concur 2005 Concurrency Theory ebook anywhere anytime directly on your device. We cannot guarantee that every ebooks is available!
CONCUR 2005 - Concurrency Theory
Author | : Martín Abadi |
Publisher | : Springer Science & Business Media |
Total Pages | : 591 |
Release | : 2005-08-08 |
Genre | : Computers |
ISBN | : 3540283099 |
Download CONCUR 2005 - Concurrency Theory Book in PDF, Epub and Kindle
This book constitutes the refereed proceedings of the 16th International Conference on Concurreny Theory, CONCUR 2005, held in San Francisco, CA, USA in August 2005. The 38 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 100 submissions. Among the topics covered are concurrency related aspects of models of computation, Petri nets, model checking, game semantics, process algebras, real-time systems, verification techniques, secrecy and authenticity, refinement, distributed programming, constraint logic programming, typing systems and algorithms, case studies, tools, and environment for programming and verification.
CONCUR 2005 - Concurrency Theory Related Books
Pages: 591
Pages: 591
Pages: 0
Pages: 536
Pages: 541