CONCUR 2007 - Concurrency Theory

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
Language: en
Pages: 518
Authors: Luís Caires
Categories: Computers
Type: BOOK - Published: 2007-08-22 - Publisher: Springer Science & Business Media

GET EBOOK

This volume constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory. Thirty full papers are presented along with three i
CONCUR 2007 - Concurrency Theory
Language: en
Pages: 519
Authors: Luís Caires
Categories: Computers
Type: BOOK - Published: 2007-08-19 - Publisher: Springer

GET EBOOK

This volume constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory. Thirty full papers are presented along with three i
CONCUR 2007 - Concurrency Theory
Language: en
Pages: 510
Authors: Luís Caires
Categories: Computers
Type: BOOK - Published: 2007-08-22 - Publisher: Springer

GET EBOOK

This volume constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory. Thirty full papers are presented along with three i
CONCUR 2006 - Concurrency Theory
Language: en
Pages: 536
Authors: Christel Baier
Categories: Computers
Type: BOOK - Published: 2006-08-10 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory, CONCUR 2006, held in Bonn, Germany in August 2006. Th
18th International Conference on Concurrency Theory (CONCUR 2007)
Language: en
Pages: 132
Authors: Luís Caires
Categories: Machine theory
Type: BOOK - Published: 2010 - Publisher:

GET EBOOK