Automata, Languages and Programming

37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II

  • Samson Abramsky
  • Cyril Gavoille
  • Claude Kirchner
  • Friedhelm Meyer auf der Heide
  • Paul G. Spirakis

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Pierre Fraigniaud
      Pages 1-1
    2. Jean Goubault-Larrecq
      Pages 2-21
    3. Joël Ouaknine, James Worrell
      Pages 22-37
    4. Roger Wattenhofer
      Pages 38-51
  3. Session 1-Track B. Automata

    1. Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz
      Pages 52-63
    2. Pierre Chambart, Philippe Schnoebelen
      Pages 64-75
    3. Udi Boker, Orna Kupferman, Adin Rosenberg
      Pages 76-87
    4. Laurent Braud, Arnaud Carayol
      Pages 88-99
  4. Session 1-Track C. Communication in Networks

    1. Anna Blasiak, Robert Kleinberg
      Pages 100-114
    2. Dan Alistarh, Seth Gilbert, Rachid Guerraoui, Morteza Zadimoghaddam
      Pages 115-126
    3. Petra Berenbrink, Jurek Czyzowicz, Robert Elsässer, Leszek Gąsieniec
      Pages 127-138
  5. Session 2-Track B. Formal Languages

    1. Mai Gehrke, Serge Grigorieff, Jean-Éric Pin
      Pages 151-162
    2. Norbert Blum
      Pages 163-174
  6. Session 4-Track B. Semantics

    1. Martin Hofmann, Aleksandr Karbyshev, Helmut Seidl
      Pages 199-210
    2. Roberto Giacobazzi, Francesco Ranzato
      Pages 211-222
    3. Annabelle McIver, Larissa Meinicke, Carroll Morgan
      Pages 223-235

Other volumes

  1. 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I
  2. Automata, Languages and Programming
    37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II

About these proceedings

Keywords

algorithms automata cloud computing complexity distributed computing information management logic networked computation overlay metworks p2p programming semantics social networks theory of programming

Editors and affiliations

  • Samson Abramsky
    • 1
  • Cyril Gavoille
    • 2
  • Claude Kirchner
    • 3
  • Friedhelm Meyer auf der Heide
    • 4
  • Paul G. Spirakis
    • 5
  1. 1.Computing LaboratoryOxford UniversityOxfordUK
  2. 2.Université de Bordeaux (LaBRI) & INRIATalence CedexFrance,
  3. 3.INRIA, Centre de Recherche Bordeaux – Sud-OuestTalence CedexFrance
  4. 4.Heinz Nixdorf InstituteUniversity of PaderbornPaderbornGermany
  5. 5.University of Patras and RACTIPatrasGreece

Bibliographic information

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