© 2012

CONCUR 2012 – Concurrency Theory

23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings

  • Maciej Koutny
  • Irek Ulidowski
Conference proceedings CONCUR 2012

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7454)

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Jos C. M. Baeten, Bas Luttik, Paul van Tilburg
      Pages 1-20
    2. Gordon D. Plotkin
      Pages 21-22
    3. Brian Randell
      Pages 23-36
  3. Reachability Analysis

    1. Béatrice Bérard, Serge Haddad, Mathieu Sassolas, Nathalie Sznajder
      Pages 39-52
    2. Wojciech Czerwiński, Piotr Hofman, Sławomir Lasota
      Pages 53-68
  4. Qualitative and Timed Systems

    1. Sandie Balaguer, Thomas Chatain
      Pages 100-114
    2. Krishnendu Chatterjee, Mickael Randour, Jean-François Raskin
      Pages 115-131
    3. Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin
      Pages 132-146
  5. Behavioural Equivalences

    1. Romain Brenguier, Stefan Göller, Ocan Sankur
      Pages 147-161
  6. Temporal Logics

    1. Arnaud Da Costa, François Laroussinie, Nicolas Markey
      Pages 177-192
    2. Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi
      Pages 193-208
  7. Session Types

    1. Julien Lange, Emilio Tuosto
      Pages 225-239
  8. Abstraction

    1. Fides Aarts, Faranak Heidarian, Frits Vaandrager
      Pages 240-255
    2. Alexey Gotsman, Hongseok Yang
      Pages 256-271

About these proceedings


This book constitutes the thoroughly refereed proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012, held in Newcastle upon Tyne, UK, September 4-7, 2012. The 35 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 97 submissions. The papers are organized in topics such as reachability analysis; qualitative and timed systems; behavioural equivalences; temporal logics; session types; abstraction; mobility and space in process algebras; stochastic systems; probabilistic systems; Petri nets and non-sequential semantics; verification; decidability.


concurrent software distributed computing modal logic model checking probabilistic automata

Editors and affiliations

  • Maciej Koutny
    • 1
  • Irek Ulidowski
    • 2
  1. 1.School of Computing ScienceNewcastle UniversityNewcastle upon TyneUK
  2. 2.Department of Computer ScienceUniversity of LeicesterLeicesterUK

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment