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

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/978-3-642-32940-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-32939-5
  • Online ISBN 978-3-642-32940-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace