Advertisement

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
  20. Krishnendu Chatterjee, Florian Horn, Christof Löding
    Pages 284-296
  21. Lorenzo Clemente, Richard Mayr
    Pages 297-312
  22. Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro
    Pages 313-327
  23. Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
    Pages 328-342
  24. Pierre-Malo Deniélou, Nobuko Yoshida
    Pages 343-357
  25. Pietro Di Gianantonio, Svetlana Jakšić, Marina Lenisa
    Pages 358-372
  26. Antoine Durand-Gasselin, Peter Habermehl
    Pages 373-387
  27. Ming Fu, Yong Li, Xinyu Feng, Zhong Shao, Yu Zhang
    Pages 388-402
  28. Yuxi Fu
    Pages 403-416
  29. Dan R. Ghica, Mohamed N. Menaa
    Pages 417-431
  30. Marco Giunti, Vasco T. Vasconcelos
    Pages 432-446
  31. Jochen Hoenicke, Roland Meyer, Ernst-Rüdiger Olderog
    Pages 462-477
  32. Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani
    Pages 478-493
  33. Cristian Prisacariu
    Pages 494-508
  34. R. Ramanujam, Sunil Simon
    Pages 509-523
  35. Lutz Schröder, Yde Venema
    Pages 524-538
  36. Roberto Segala, Andrea Turrini
    Pages 539-553
  37. Paweł Sobociński
    Pages 554-568
  38. Edsko de Vries, Vasileios Koutavas, Matthew Hennessy
    Pages 569-583
  39. Back Matter

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