Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5201)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: CONCUR 2008.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
This volume contains the proceedings of the 19th International Conference on Concurrency Theory (CONCUR 2008) which took place at the University of TorontoinToronto,Canada,August19–22,2008. CONCUR2008wasco-located with the 27th Annual ACM SIGACT-SIGOPS Symposium on the Principles of Distributed Computing (PODC 2008), and the two conferences shared two invited speakers, some social events, and a symposium celebrating the lifelong research contributions of Nancy Lynch. 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 applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their applications, and of the scienti?c relevance of their foundations. Topics include basic models of concurrency (such as abstract machines, domain theoretic m- els, game theoretic models, process algebras, and Petri nets), logics for c- currency (such as modal logics, temporal logics and resource logics), models of specialized systems (such as biology-inspired systems, circuits, hybrid systems, mobile systems, multi-core processors, probabilistic systems, real-time systems, synchronoussystems, and Web services),veri?cationand analysis techniques for concurrent systems (such as abstract interpretation, atomicity checking, mod- checking, race detection, run-time veri?cation, state-space exploration, static analysis,synthesis,testing, theorem provingand type systems), andrelated p- gramming models (such as distributed or object-oriented). Of the 120 regular and 5 tool papers submitted this year, 33 regular and 2 tool papers were accepted for presentation and areincluded in the present v- ume.
Similar content being viewed by others
Keywords
Table of contents (39 papers)
-
Front Matter
-
Contributed Papers
Other volumes
-
CONCUR 2008 - Concurrency Theory
Bibliographic Information
Book Title: CONCUR 2008 - Concurrency Theory
Book Subtitle: 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings
Editors: Franck Breugel, Marsha Chechik
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-540-85361-9
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2008
Softcover ISBN: 978-3-540-85360-2Published: 30 July 2008
eBook ISBN: 978-3-540-85361-9Published: 19 August 2008
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIII, 524
Topics: Programming Techniques, Computer Communication Networks, Theory of Computation, Logics and Meanings of Programs, Computation by Abstract Devices