CONCUR 2002 — Concurrency Theory

13th International Conference Brno, Czech Republic, August 20–23, 2002 Proceedings

  • Luboš Brim
  • Mojmír Křetínský
  • Antonín Kučera
  • Petr Jančar
Conference proceedings CONCUR 2002

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

Table of contents

  1. Front Matter
    Pages I-XII
  2. Invited Talks

    1. Wan Fokkink, Natalia Ioustinova, Ernst Kesseler, Jaco van de Pol, Yaroslav S. Usenko, Yuri A. Yushtein
      Pages 1-23
    2. Amir Pnueli, Yonit Kesten
      Pages 24-40
    3. Vaughan R. Pratt
      Pages 41-56
    4. Alexander Rabinovich
      Pages 57-76
  3. Invited Tutorials

    1. Julian C. Bradfield
      Pages 98-98
    2. Andrew D. Gordon
      Pages 99-100
  4. Verification, Model Checking

    1. Yonit Kesten, Amir Pnueli, Elad Shahar, Lenore Zuck
      Pages 101-115
    2. Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso
      Pages 116-131
    3. P. Madhusudan, P. S. Thiagarajan
      Pages 145-160
    4. Antti Valmari, Antti Kervinen
      Pages 161-176
    5. Eugene Asarin, Gerardo Schneider
      Pages 193-208
  5. Logic

    1. Luís Caires, Luca Cardelli
      Pages 209-225
    2. Beata Konikowska, Wojciech Penczek
      Pages 226-239
    3. Maria Sorea
      Pages 255-272
  6. Mobility

    1. Jens Chr. Godskesen, Thomas Hildebrandt, Vladimiro Sassone
      Pages 272-287

About these proceedings

Keywords

Bisimulation Concurrent Processing Concurrent Systems Distributed Computing Formal Verification Hybrid Systems Model Checking Parallel Computing Petri Nets Probabilistic Systems Systems Security concurrency logic petri net verification

Editors and affiliations

  • Luboš Brim
    • 1
  • Mojmír Křetínský
    • 1
  • Antonín Kučera
    • 1
  • Petr Jančar
    • 2
  1. 1.Faculty of InformaticsMasaryk University BrnoBrnoCzech Republic
  2. 2.Faculty of Electrical Engineering and Informatics, Department of Computer ScienceTechnical University of Ostrava (VSB)Ostrava-PorubaCzech Republic

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45694-5
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-44043-7
  • Online ISBN 978-3-540-45694-0
  • Series Print ISSN 0302-9743
  • About this book