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

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
  • About this book