CONCUR 2014 – Concurrency Theory

25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings

  • Paolo Baldan
  • Daniele Gorla
Conference proceedings CONCUR 2014
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8704)

Table of contents

  1. Front Matter
  2. 25th Anniversary Talk

  3. Invited Talks

    1. Konstantinos Chatzikokolakis, Daniel Gebler, Catuscia Palamidessi, Lili Xu
      Pages 32-46
  4. Process Calculi

    1. Marco Carbone, Fabrizio Montesi, Carsten Schürmann
      Pages 47-62
    2. Elena Giachino, Naoki Kobayashi, Cosimo Laneve
      Pages 63-77
    3. Davide Sangiorgi, Xian Xu
      Pages 78-92
    4. Jean-Marie Madiot, Damien Pous, Davide Sangiorgi
      Pages 93-108
  5. Model Checking and Abstraction

    1. Benjamin Aminof, Tomer Kotek, Sasha Rubin, Francesco Spegni, Helmut Veith
      Pages 109-124
    2. Alexander Kaiser, Daniel Kroening, Thomas Wahl
      Pages 141-155
  6. Synthesis

    1. Guy Avni, Orna Kupferman
      Pages 156-172
    2. Nicolas Basset, Marta Kwiatkowska, Clemens Wiltsche
      Pages 173-187
    3. Kim Guldstrand Larsen, Simon Laursen, Jiří Srba
      Pages 188-202
    4. Youssouf Oualhadj, Pierre-Alain Reynier, Ocan Sankur
      Pages 203-217
  7. Quantitative Models

    1. Taolue Chen, Yuan Feng, David S. Rosenblum, Guoxin Su
      Pages 218-233
    2. Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
      Pages 234-248
    3. Holger Hermanns, Jan Krčál, Jan Křetínský
      Pages 249-265
    4. Patricia Bouyer, Nicolas Markey, Raj Mohan Matteplackel
      Pages 266-280

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 25th International Conference on Concurrency Theory, CONCUR 2014, held in Rome, Italy in September 2014.
The 35 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 124 submissions. The focus of the conference is on the following topics: process calculi, model checking and abstraction, synthesis, quantitative models, automata and multithreading, complexity, process calculi and types, categories, graphs and quantum systems, automata and time, and games.

Keywords

Markov chains concurrent games concurrent processes distributed computing model checking probabilistic automata programming languages reactive systems simulation systems analysis temporal logics undecidability verification

Editors and affiliations

  • Paolo Baldan
    • 1
  • Daniele Gorla
    • 2
  1. 1.Department of MathematicsUniversity of PadovaPadovaItaly
  2. 2.Department of Computer ScienceUniversity of Roma “La Sapienza”RomeItaly

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-662-44584-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2014
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-44583-9
  • Online ISBN 978-3-662-44584-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book