Advertisement

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
  7. Session 6: Verifiation of Infinite Models, Model Measure and Reversibility

    1. Thomas A. Henzinger, Jan Otop
      Pages 273-287
    2. Jonathan Kochems, C. -H. Luke Ong
      Pages 288-302
    3. Iain Phillips, Irek Ulidowski
      Pages 303-318
    4. Christoph Haase, Sylvain Schmitz, Philippe Schnoebelen
      Pages 319-333
  8. Session 7: Stochastic Models

    1. Shenggang Ying, Yuan Feng, Nengkun Yu, Mingsheng Ying
      Pages 334-348
    2. Holger Hermanns, Andrea Turrini
      Pages 349-363
    3. Holger Hermanns, Jan Krčál, Jan Křetínský
      Pages 364-379
    4. Vincent Danos, Russ Harmer, Ricardo Honorato-Zimmer
      Pages 380-394
  9. Session 8: Message-Based Interacting Processes

    1. Dimitrios Kouzapas, Nobuko Yoshida
      Pages 395-409
    2. Vivek Nigam, Carlos Olarte, Elaine Pimentel
      Pages 410-424
    3. Fabrizio Montesi, Nobuko Yoshida
      Pages 425-439
    4. Javier Esparza, Jörg Desel
      Pages 440-454
  10. Session 9: Principles of Automatic Verification

    1. Claudia Carapelle, Alexander Kartzow, Markus Lohrey
      Pages 455-469
    2. Sjoerd Cranen, Bas Luttik, Tim A. C. Willemse
      Pages 470-484
    3. Vijay D’Silva
      Pages 485-499
  11. Session 10: Games and Control Synthesis

    1. Krishnendu Chatterjee, Yaron Velner
      Pages 500-515
    2. Julian Gutierrez, Glynn Winskel
      Pages 516-530
    3. Thomas Dueholm Hansen, Rasmus Ibsen-Jensen, Peter Bro Miltersen
      Pages 531-545
    4. Ocan Sankur, Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier
      Pages 546-560
  12. Back Matter

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
  • Buy this book on publisher's site