CONCUR 2007 - Concurrency Theory, 18 conf., CONCUR 2007

CONCUR 2007 - Concurrency Theory, 18 conf., CONCUR 2007
Год
 
Страниц
 
518
ISBN
 
ISBN13:9783540744061
Издатель
 
Springer

Описание:

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 2008 - Concurrency Theory: 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings (Lecture Notes in Computer Science)CONCUR 2008 - Concurrency Theory: 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings (Lecture Notes in Computer Science)
Автор: Frederic Cao, Jose-Luis Lisani, Jean-Michel Morel, Pablo Muse, Frederic Sur
Год: 2008
Tools and Algorithms for the Construction and Analysis of Systems, 7 conf., TACAS 2001Tools and Algorithms for the Construction and Analysis of Systems, 7 conf., TACAS 2001
Год: 2001
CONCUR 2008 - Concurrency Theory: 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)CONCUR 2008 - Concurrency Theory: 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)
Автор: Franck Breugel, Marsha Chechik
Год: 2008
CONCUR 2006 - Concurrency Theory, 17 conf., CONCUR 2006CONCUR 2006 - Concurrency Theory, 17 conf., CONCUR 2006
Год: 2006
Implementation and Application of Functional Languages, 19 conf., IFL 2007Implementation and Application of Functional Languages, 19 conf., IFL 2007
Год: 2008
ChecKingChecKing
Год: 2011