CONCUR '94: Concurrency Theory
Language: en
Pages: 534
Authors: Bengt Jonsson, Joachim Parrow
Categories: Computers
Type: BOOK - Published: 2006-04-10 - Publisher: Springer

This volume constitutes the proceedings of the Fifth International Conference on Concurrency Theory, CONCUR '94, held at Uppsala, Sweden in August 1994. In total, 29 refereed research papers selected from 108 submissions for the conference are presented together with full papers or abstracts of the 5 invited talks by prominent
CONCUR'99. Concurrency Theory
Language: en
Pages: 584
Authors: Jos C.M. Baeten, Sjouke Mauw
Categories: Mathematics
Type: BOOK - Published: 2003-07-31 - Publisher: Springer

This book constitutes the proceedings of the 10th International Conference on Concurrency Theory, CONCUR'99, held in Eindhoven, The Netherlands in August 1999. The 32 revised full papers presented together with four invited contributions were selected from a total of 91 submissions. The papers address all areas of semantics, logics, and
CONCUR 2000 - Concurrency Theory
Language: en
Pages: 613
Authors: Catuscia Palamidessi
Categories: Computers
Type: BOOK - Published: 2003-06-26 - Publisher: Springer

This volume contains the proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000) held in State College, Pennsylvania, USA, during 22-25 August 2000. The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency and promote its
CONCUR '96: Concurrency Theory
Language: en
Pages: 750
Authors: Ugo Montanari, Vladimiro Sassone
Categories: Computers
Type: BOOK - Published: 1996-08-07 - Publisher: Springer Science & Business Media

This book constitutes the refereed proceedings of the 8th International Conference on Concurrency Theory, CONCUR'97. held in Warsaw, Poland, in July 1997. The 24 revised full papers presented were selected by the program committee for inclusion in the volume from a total of 41 high-quality submissions. The volume covers all
CONCUR 2003 - Concurrency Theory
Language: en
Pages: 524
Authors: Roberto Amadio, Denis Lugiez
Categories: Computers
Type: BOOK - Published: 2003-12-03 - Publisher: Springer

This book constitutes the refereed proceedings of the 14th International Conference on Concurrency Theory, CONCUR 2003, held in Marseille, France in September 2003. The 29 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 107 submissions. The papers are organized in topical sections on