Theoretical Computer Science and General Issues

CONCUR 2006 - Concurrency Theory

17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006

Editors: Baier, Christel, Hermanns, Holger (Eds.)

Buy this book

eBook $109.00
price for USA in USD (gross)
  • ISBN 978-3-540-37377-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.00
price for USA in USD
  • ISBN 978-3-540-37376-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, August 27–30, 2006. The purpose of the CONCUR conference series is to bring together researchers, developers and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their applications and the scientific relevance of their foundations. The scope of CONCUR covers all areas of semantics, logics, and verification techniques for concurrent systems. Topics include basic models and logics of concurrent and distributed computation (such as process algebras, Petri nets, domain theoretic or game theoretic models, modal and temporal logics), specialized models or classes of systems (such as circuits, synchronous systems, real-time and hybrid systems, stochastic systems, databases, mobile and migrating systems, parametric protocols, security protocols), related verification techniques and tools (such as staff space exploration, model-checking, synthesis, abstraction, automated deduction, testing), and related programming models (such as distributed, constraint- or object-oriented, graph rewriting, as well as associated typesystems, static analyses, abstract machines, and environments). This volume starts with five invited papers covering the invited lectures and tutorials of the conference. The remaining 29 papers were selected by the Programme Committee out of 101 submissions after a very intensive reviewing and discussion phase. We would like to thank the members of the Programme Committee and the external reviewers for their excellent and hard work. The conference programme contained three invited lectures and two invited tutorials. 

Table of contents (34 chapters)

  • Modeling Timed Concurrent Systems

    Liu, Xiaojun (et al.)

    Pages 1-15

  • Some Remarks on Definability of Process Graphs

    Grabmayer, Clemens (et al.)

    Pages 16-36

  • Sanity Checks in Formal Verification

    Kupferman, Orna

    Pages 37-51

  • Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi

    Nestmann, Uwe

    Pages 52-63

  • Probability and Nondeterminism in Operational Models of Concurrency

    Segala, Roberto

    Pages 64-78

Buy this book

eBook $109.00
price for USA in USD (gross)
  • ISBN 978-3-540-37377-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.00
price for USA in USD
  • ISBN 978-3-540-37376-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
CONCUR 2006 - Concurrency Theory
Book Subtitle
17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006
Editors
  • Christel Baier
  • Holger Hermanns
Series Title
Theoretical Computer Science and General Issues
Series Volume
4137
Copyright
2006
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-37377-3
DOI
10.1007/11817949
Softcover ISBN
978-3-540-37376-6
Edition Number
1
Number of Pages
XIII, 528
Topics