Advertisement

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
  8. Automata and Multithreading

    1. Lorenzo Clemente, Frédéric Herbreteau, Grégoire Sutre
      Pages 281-296
    2. C. Aiswarya, Paul Gastin, K. Narayan Kumar
      Pages 297-311
    3. Kazuhide Yasukata, Naoki Kobayashi, Kazutaka Matsuda
      Pages 312-326
  9. Complexity

    1. Anthony Widjaja Lin, Sanming Zhou
      Pages 327-341
    2. Reiner Hüchting, Rupak Majumdar, Roland Meyer
      Pages 357-371
  10. Process Calculi and Types

    1. Rémy Chrétien, Véronique Cortier, Stéphanie Delaune
      Pages 372-386
    2. Giovanni Bernardi, Matthew Hennessy
      Pages 387-401
    3. Massimo Bartoletti, Alceste Scalas, Roberto Zunino
      Pages 402-418
    4. Laura Bocchi, Weizhen Yang, Nobuko Yoshida
      Pages 419-434
  11. Categories, Graphs and Quantum Systems

    1. Filippo Bonchi, Paweł Sobociński, Fabio Zanasi
      Pages 435-450
    2. Barbara König, Jan Stückrath
      Pages 467-481
    3. Yangjia Li, Mingsheng Ying
      Pages 482-496
  12. Automata and Time

    1. Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma
      Pages 497-511
    2. Shibashis Guha, Chinmay Narayan, S. Arun-Kumar
      Pages 527-543
  13. Games

    1. Krishnendu Chatterjee
      Pages 544-559
    2. Thomas Brihaye, Gilles Geeraerts, Shankara Narayanan Krishna, Lakshmi Manasa, Benjamin Monmege, Ashutosh Trivedi
      Pages 560-575
    3. Falak Sher Vira, Joost-Pieter Katoen
      Pages 576-591
  14. Back Matter

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
  • Buy this book on publisher's site
Industry Sectors
Electronics
IT & Software
Aerospace