Advertisement

CONCUR 2007 – Concurrency Theory

18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings

  • Editors
  • Luís Caires
  • Vasco T. Vasconcelos
Conference proceedings CONCUR 2007

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

Table of contents

  1. Front Matter
  2. Invited Lectures

    1. Luca Aceto, Anna Ingolfsdottir
      Pages 2-16
    2. Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
      Pages 17-41
  3. Contributed Papers

    1. Konstantinos Chatzikokolakis, Catuscia Palamidessi
      Pages 42-58
    2. Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman
      Pages 59-73
    3. Luca de Alfaro, Pritam Roy
      Pages 74-89
    4. Kim G. Larsen, Ulrik Nyman, Andrzej Wąsowski
      Pages 105-119
    5. Taolue Chen, Bas Ploeger, Jaco van de Pol, Tim A. C. Willemse
      Pages 120-135
    6. Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang
      Pages 166-180
    7. S. Akshay, Madhavan Mukund, K. Narayan Kumar
      Pages 181-196
    8. Michael Mendler, Gerald Lüttgen
      Pages 197-211
    9. Cosimo Laneve, Luca Padovani
      Pages 212-225
    10. Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson
      Pages 226-240
    11. Cristian Versari, Nadia Busi, Roberto Gorrieri
      Pages 241-255
    12. Viktor Vafeiadis, Matthew Parkinson
      Pages 256-271
    13. Gérard Boudol
      Pages 272-286
    14. Silvia Crafa, Daniele Varacca, Nobuko Yoshida
      Pages 317-332
    15. Thomas Ehrhard, Olivier Laurent
      Pages 333-348
    16. Samuel Hym
      Pages 349-363
    17. Filippo Bonchi, Ugo Montanari
      Pages 364-379
    18. Davide Grohmann, Marino Miculan
      Pages 380-394
    19. Paul-André Melliès, Samuel Mimram
      Pages 395-411
    20. Martin R. Neuhäußer, Joost-Pieter Katoen
      Pages 412-427
    21. Tomáš Brázdil, Vojtěch Forejt
      Pages 428-444
    22. Thomas Brihaye, François Laroussinie, Nicolas Markey, Ghassan Oreiby
      Pages 445-459
    23. Benjamin Aminof, Aniello Murano, Moshe Y. Vardi
      Pages 460-475
    24. Shoham Ben-David, Dana Fisman, Sitvanit Ruah
      Pages 492-506
  4. Back Matter

About these proceedings

Keywords

Bisimulation automata communication protocols concurrency concurrent processing concurrent rewriting concurrent systems distributed computing formal language formal verification hybrid systems infinite state systems model checking parallel computing semantics

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-74407-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-74406-1
  • Online ISBN 978-3-540-74407-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site