Advertisement

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
  9. Mobility and Space in Process Algebras

    1. Romain Demangeon, Kohei Honda
      Pages 272-286
    2. Luca Fossati, Kohei Honda, Nobuko Yoshida
      Pages 287-301
    3. Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi
      Pages 302-316
    4. Sophia Knight, Catuscia Palamidessi, Prakash Panangaden, Frank D. Valencia
      Pages 317-332
  10. Stochastic Systems

    1. Luca Bortolussi, Jane Hillston
      Pages 333-347
    2. Taolue Chen, Vojtěch Forejt, Marta Kwiatkowska, Aistis Simaitis, Ashutosh Trivedi, Michael Ummels
      Pages 348-363
    3. Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Mariëlle I. A. Stoelinga
      Pages 364-379
    4. Max Tschaikowski, Mirco Tribastone
      Pages 380-394
  11. Probabilistic Systems

  12. Petri Nets and Non-sequential Semantics

    1. Ryszard Janicki, Xiang Yin, Nadezhda Zubkova
      Pages 425-439
    2. Roland Meyer, Victor Khomenko, Reiner Hüchting
      Pages 440-455
    3. Łukasz Mikulski
      Pages 456-470
    4. César Rodríguez, Stefan Schwoon
      Pages 471-485
  13. Verification

    1. Matthias Függer, Josef Widder
      Pages 486-499
    2. Alexander Kaiser, Daniel Kroening, Thomas Wahl
      Pages 500-515
    3. Mohsen Lesani, Victor Luchangco, Mark Moir
      Pages 516-530
  14. Decidability

    1. Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar
      Pages 547-561
    2. Frank S. de Boer, Mahdi M. Jaghoori, Cosimo Laneve, Gianluigi Zavattaro
      Pages 562-577
    3. Frank S. de Boer, Mahdi M. Jaghoori, Cosimo Laneve, Gianluigi Zavattaro
      Pages E1-E1
  15. Back Matter

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