Advertisement

CONCUR’99 Concurrency Theory

10th International Conference Eindhoven, The Netherlands, August 24—27, 1999 Proceedings

  • Jos C. M. Baeten
  • Sjouke Mauw

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

Table of contents

  1. Front Matter
    Pages I-XI
  2. Invited Lectures

  3. Tutorials

  4. Accepted Papers

    1. Rajeev Alur, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang
      Pages 82-97
    2. Rajeev Alur, Bow-Yaw Wang
      Pages 98-113
    3. Rajeev Alur, Mihalis Yannakakis
      Pages 114-129
    4. Christel Baier, Joost-Pieter Katoen, Holger Hermanns
      Pages 146-161
    5. Albert Benveniste, Benoît Caillaud, Paul Le Guernic
      Pages 162-177
    6. Béatrice Bérard, Laurent Fribourg
      Pages 178-193
    7. Eike Best, Alexander Lavrov
      Pages 194-209
    8. Burkhard Bieber, Hans Fleischhack
      Pages 210-225
    9. F. S. de Boer, G. Zavattaro
      Pages 226-241
    10. Hubert Comon, Yan Jurski
      Pages 242-257
    11. Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
      Pages 258-273
    12. Arkady Estrin, Michael Kaminski
      Pages 274-286
    13. Cormac Flanagan, Martín Abadi
      Pages 288-303
    14. Yuxi Fu
      Pages 304-319
    15. Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar
      Pages 320-335
    16. Barbara König
      Pages 354-367
    17. Orna Kupferman, Moshe Y. Vardi
      Pages 383-398
    18. Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland
      Pages 399-414
    19. José Meseguer, Carolyn Talcott
      Pages 415-430
    20. Rémi Morin, Brigitte Rozoy
      Pages 447-462
    21. Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen, Jacob Grydholt Jensen
      Pages 463-477
    22. David Nowak, Jean-Pierre Talpin, Paul Le Guernic
      Pages 494-508
    23. Antti Puhakka, Antti Valmari
      Pages 510-524
    24. Christine Röckl, Javier Esparza
      Pages 525-540
    25. Nobuko Yoshida, Matthew Hennessy
      Pages 557-572
  5. Back Matter
    Pages 573-573

About these proceedings

Keywords

concurrency constraint programming distributed programming logic petri net programming real-time semantics verification

Editors and affiliations

  • Jos C. M. Baeten
    • 1
  • Sjouke Mauw
    • 1
  1. 1.Department of Computing ScienceEindhoven University of TechnologyEindhovenThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-48320-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 1999
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-66425-3
  • Online ISBN 978-3-540-48320-5
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences