Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4137)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: CONCUR 2006.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
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.
Similar content being viewed by others
Table of contents (34 papers)
-
Front Matter
Other volumes
-
CONCUR 2006 - Concurrency Theory
Editors and Affiliations
Accessibility Information
Accessibility information for this book is coming soon. We're working to make it available as quickly as possible. Thank you for your patience.
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: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/11817949
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0), Springer Nature Proceedings Computer Science
Copyright Information: Springer-Verlag Berlin Heidelberg 2006
Softcover ISBN: 978-3-540-37376-6Published: 10 August 2006
eBook ISBN: 978-3-540-37377-3Published: 03 August 2006
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIII, 528
Topics: Computer System Implementation, Logics and Meanings of Programs, Computation by Abstract Devices, Programming Languages, Compilers, Interpreters, Programming Techniques, Computer Communication Networks