CONCUR 2013 – Concurrency Theory

24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

  • Pedro R. D’Argenio
  • Hernán Melgratti
Conference proceedings CONCUR 2013
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8052)

Table of contents

  1. Front Matter
  2. Session 1: Invited Talks

    1. Lorenzo Alvisi, Edmund L. Wong
      Pages 1-4
    2. Sylvain Schmitz, Philippe Schnoebelen
      Pages 5-24
    3. Andreas Abel, Florian Benz, Johannes Doerfert, Barbara Dörr, Sebastian Hahn, Florian Haupenthal et al.
      Pages 25-43
    4. Joost-Pieter Katoen
      Pages 44-45
  3. Session 2: Process Semantics and Modal Transition Systems

    1. Martin Churchill, Peter D. Mosses, Mohammad Reza Mousavi
      Pages 46-60
    2. Giovanni Bernardi, Matthew Hennessy
      Pages 61-75
    3. Nikola Beneš, Benoît Delahaye, Uli Fahrenberg, Jan Křetínský, Axel Legay
      Pages 76-90
    4. Shoham Ben-David, Marsha Chechik, Sebastian Uchitel
      Pages 91-105
  4. Session 3: VAS and Pushdown Systems

    1. Parosh Aziz Abdulla, Richard Mayr, Arnaud Sangnier, Jeremy Sproston
      Pages 106-120
    2. Xiaojuan Cai, Mizuhito Ogawa
      Pages 121-136
    3. Jérôme Leroux, M. Praveen, Grégoire Sutre
      Pages 137-151
    4. Rupak Majumdar, Zilong Wang
      Pages 152-166
  5. Session 4: Pi Calculus and Interaction Nets

    1. Vasileios Koutavas, Matthew Hennessy
      Pages 167-181
    2. Reiner Hüchting, Rupak Majumdar, Roland Meyer
      Pages 182-196
    3. Andrei Dorman, Damiano Mazza
      Pages 197-211
  6. Session 5: Linearizability and Verification of Concurrent Programs

    1. Klaus von Gleissenthall, Andrey Rybalchenko
      Pages 212-226
    2. Hongjin Liang, Jan Hoffmann, Xinyu Feng, Zhong Shao
      Pages 227-241
    3. Thomas A. Henzinger, Ali Sezgin, Viktor Vafeiadis
      Pages 242-256
    4. Andrey Kupriyanov, Bernd Finkbeiner
      Pages 257-272

About these proceedings

Introduction

This book constitutes the thoroughly refereed proceedings of the 24th International Conference on Concurrency Theory, CONCUR 2013, held in Buenos Aires, Argentina, August 27-30, 2013.
The 34 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 115 submissions. The papers are organized in topics such as process semantics and modal transition systems, VAS and pushdown systems, Pi calculus and interaction nets, linearizability and verification of concurrent programs, verification of infinite models, model measure and reversibility, stochastic models, message-based interaction processes, principles of automatic verification, and games and control synthesis.

Keywords

Markov chains concurrent games logic model checking timed automata

Editors and affiliations

  • Pedro R. D’Argenio
    • 1
  • Hernán Melgratti
    • 2
  1. 1.Facultad de Matemáticas, Astronomía y FísicaUniversidad Nacional de Córdoba – CONICETCórdobaArgentina
  2. 2.Departamento de Computación,Universidad de Buenos Aires - ConicetCiudad Autónoma de Buenos AiresArgentina

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-40184-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-40183-1
  • Online ISBN 978-3-642-40184-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book