CONCUR 2010 - Concurrency Theory

21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings

  • Paul Gastin
  • François Laroussinie

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

Table of contents

  1. Front Matter
  2. Frank S. de Boer, Mohammad Mahdi Jaghoori, Einar Broch Johnsen
    Pages 1-18
  3. Christian Eisentraut, Holger Hermanns, Lijun Zhang
    Pages 21-39
  4. Anca Muscholl
    Pages 40-47
  5. Vladimiro Sassone, Sardaouna Hamadou, Mu Yang
    Pages 48-70
  6. Fides Aarts, Frits Vaandrager
    Pages 71-85
  7. Parosh Aziz Abdulla, Yu-Fang Chen, Giorgio Delzanno, Frédéric Haziza, Chih-Duo Hong, Ahmed Rezine
    Pages 86-101
  8. Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi
    Pages 102-116
  9. Mohamed Faouzi Atig
    Pages 117-131
  10. Thibaut Balabonski, Emmanuel Haucourt
    Pages 132-146
  11. Paolo Baldan, Silvia Crafa
    Pages 147-161
  12. Laura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Yoshida
    Pages 162-176
  13. Stanislav Böhm, Stefan Göller, Petr Jančar
    Pages 177-191
  14. Patricia Bouyer, Romain Brenguier, Nicolas Markey
    Pages 192-206
  15. Tomáš Brázdil, Jan Krčál, Jan Křetínský, Antonín Kučera, Vojtěch Řehák
    Pages 207-221
  16. Luís Caires, Frank Pfenning
    Pages 222-236
  17. Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Tamara Rezk
    Pages 237-252
  18. Pavol Černý, Thomas A. Henzinger, Arjun Radhakrishna
    Pages 253-268
  19. Krishnendu Chatterjee, Laurent Doyen, Herbert Edelsbrunner, Thomas A. Henzinger, Philippe Rannou
    Pages 269-283

About these proceedings

Keywords

Simulation abstract machines atomicity checki biology-inspired systems concurrency models design domain theoretic modelsi learning model checking model logics modeling pervasive computing process algebras resource logicsq verification

Editors and affiliations

  • Paul Gastin
    • 1
  • François Laroussinie
    • 2
  1. 1.Laboratoire Spécification et Vérification (LSV), ENS de Cachan & CNRSCachan cedexFrance
  2. 2.LIAFA, Université Paris DiderotParis cedexFrance

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-15375-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-15374-7
  • Online ISBN 978-3-642-15375-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book