Advertisement

CONCUR 2011 – Concurrency Theory

22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings

  • Joost-Pieter Katoen
  • Barbara König
Conference proceedings CONCUR 2011

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6901)

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Parosh Aziz Abdulla
      Pages 1-16
    2. Eli Gafni, Rachid Guerraoui
      Pages 17-27
    3. Wil van der Aalst, Arya Adriansyah, Boudewijn van Dongen
      Pages 28-42
    4. Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke
      Pages 43-59
  3. Real-Time Systems

    1. Patricia Bouyer, Kim G. Larsen, Nicolas Markey, Ocan Sankur, Claus Thrane
      Pages 76-91
    2. Frédéric Herbreteau, B. Srivathsan
      Pages 92-107
  4. Probabilistic Systems

    1. Lei Song, Lijun Zhang, Jens Chr. Godskesen
      Pages 108-123
    2. Tomáš Brázdil, Jan Krčál, Jan Křetínský, Vojtěch Řehák
      Pages 140-155
    3. Ruggero Lanotte, Massimo Merro
      Pages 156-170
  5. Automata

    1. Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukáš Holík, Chih-Duo Hong, Richard Mayr et al.
      Pages 187-202
    2. Salvatore La Torre, Margherita Napoli
      Pages 203-218
  6. Separation Logic

    1. Jonathan Hayman
      Pages 219-234
    2. Byron Cook, Christoph Haase, Joël Ouaknine, Matthew Parkinson, James Worrell
      Pages 235-249
    3. C. A. R. Hoare, Akbar Hussain, Bernhard Möller, Peter W. O’Hearn, Rasmus Lerchedahl Petersen, Georg Struth
      Pages 250-264
  7. π-Calculus

    1. Hans Hüttel
      Pages 265-279
    2. Romain Demangeon, Kohei Honda
      Pages 280-296
    3. Ivan Lanese, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani
      Pages 297-311
  8. Petri Nets

    1. Roberto Bruni, Hernán Melgratti, Ugo Montanari
      Pages 312-326
    2. César Rodríguez, Stefan Schwoon, Paolo Baldan
      Pages 342-357
    3. M. Praveen, Kamal Lodaya
      Pages 358-372
  9. Process Algebra and Modeling

    1. Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell
      Pages 389-403
    2. Jasmin Fisher, Thomas A. Henzinger, Dejan Nickovic, Nir Piterman, Anmol V. Singh, Moshe Y. Vardi
      Pages 404-418
  10. Verification

    1. Lars Kuhtz, Bernd Finkbeiner
      Pages 419-433
    2. Fu Song, Tayssir Touili
      Pages 434-449
  11. Games

    1. Farn Wang, Chung-Hao Huang, Fang Yu
      Pages 466-481
    2. Michael Ummels, Dominik Wojtczak
      Pages 482-496
    3. Michael Benedikt, Rastislav Lenhardt, James Worrell
      Pages 497-511
    4. Christel Baier, Joachim Klein, Sascha Klüppelholz
      Pages 512-527
  12. Bisimulation

    1. Wojciech Czerwiński, Piotr Hofman, Sławomir Lasota
      Pages 528-542
    2. Stefan Göller, Anthony Widjaja Lin
      Pages 543-558
  13. Back Matter

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011.
The 32 revised full papers were carefully reviewed and selected from 94 submissions. The papers are organized in topics such as real-time systems, probabilistic systems, automata, separation logic, π-calculus, Petri nets, process algebra and modeling, verification, games, and bisimulation.

Keywords

concurrent processes distributed computing model checking probabilistic automata reactive systems systems analysis temporal logics

Editors and affiliations

  • Joost-Pieter Katoen
    • 1
  • Barbara König
    • 2
  1. 1.Software Modeling and VerificationRWTH AachenAachenGermany
  2. 2.Fakultät für Ingenieurwesen, Abteilung für Informatik und Angewandte KognitionswissenschaftUniversität Duisburg-Essen,DuisburgGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-23217-6
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-23216-9
  • Online ISBN 978-3-642-23217-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering