CONCUR 2007 - Concurrency Theory PDF Download

Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download CONCUR 2007 - Concurrency Theory PDF full book. Access full book title CONCUR 2007 - Concurrency Theory by Luís Caires. Download full books in PDF and EPUB format.

CONCUR 2007 - Concurrency Theory

CONCUR 2007 - Concurrency Theory PDF Author: Luís Caires
Publisher: Springer Science & Business Media
ISBN: 3540744061
Category : Computers
Languages : en
Pages : 518

Book Description
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.
➤