Skip to main content
  • Conference proceedings
  • © 2008

CONCUR 2008 - Concurrency Theory

19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings

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)

Conference series link(s): CONCUR: International Conference on Concurrency Theory

Conference proceedings info: CONCUR 2008.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (39 papers)

  1. Front Matter

  2. Contributed Papers

    1. A Model of Dynamic Separation for Transactional Memory

      • Martín Abadi, Tim Harris, Katherine F. Moore
      Pages 6-20
    2. Completeness and Nondeterminism in Model Checking Transactional Memories

      • Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh
      Pages 21-35
    3. A Scalable and Oblivious Atomicity Assertion

      • Rachid Guerraoui, Marko Vukolić
      Pages 52-66
    4. R-Automata

      • Parosh Aziz Abdulla, Pavel Krcal, Wang Yi
      Pages 67-81
    5. Distributed Timed Automata with Independently Evolving Clocks

      • S. Akshay, Benedikt Bollig, Paul Gastin, Madhavan Mukund, K. Narayan Kumar
      Pages 82-97
    6. A Context-Free Process as a Pushdown Automaton

      • J. C. M. Baeten, P. J. L. Cuijpers, P. J. A. van Tilburg
      Pages 98-113
    7. Modeling Computational Security in Long-Lived Systems

      • Ran Canetti, Ling Cheung, Dilsun Kaynar, Nancy Lynch, Olivier Pereira
      Pages 114-130
    8. Environment Assumptions for Synthesis

      • Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann
      Pages 147-161
    9. Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning

      • Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker
      Pages 162-166
    10. SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs

      • Borzoo Bonakdarpour, Sandeep S. Kulkarni
      Pages 167-171
    11. Subsequence Invariants

      • Klaus Dräger, Bernd Finkbeiner
      Pages 172-186
    12. Invariants for Parameterised Boolean Equation Systems

      • Simona Orzan, Tim A. C. Willemse
      Pages 187-202
    13. Unfolding-Based Diagnosis of Systems with an Evolving Topology

      • Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König
      Pages 203-217

Other Volumes

  1. CONCUR 2008 - Concurrency Theory

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.

Keywords

  • Bisimulation
  • acyclic models
  • completeness
  • computational security
  • formal language
  • formal languages
  • model checking
  • nash equilibrium
  • partial order
  • program verification
  • r-automata
  • semantics
  • shared-memory
  • simulation
  • transactional memory

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions