Advertisement

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
    2. David Teller, Pascal Zimmer, Daniel Hirschkoff
      Pages 288-303
    3. Massimo Merro, Vladimiro Sassone
      Pages 304-320
    4. Roberto Bruni, Cosimo Laneve, Ugo Montanari
      Pages 321-337
  7. Probabilistic Systems

    1. Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Boudewijn Haverkort
      Pages 338-354
    2. Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
      Pages 355-370
    3. Stefano Cattani, Roberto Segala
      Pages 371-386
  8. Models of Computation, Process Algebra

    1. Gerald Lüttgen, Michael Mendler
      Pages 386-401
    2. Jean Fanchon, Rémi Morin
      Pages 402-417
    3. Philippa Gardner, Cosimo Laneve, Lucian Wischik
      Pages 418-433
    4. Mikkel Nygaard, Glynn Winskel
      Pages 434-448
  9. Security

    1. Michele Boreale, Maria Grazia Buscemi
      Pages 483-498
    2. Roberto M. Amadio, Witold Charatonik
      Pages 499-514
  10. Petri Nets

    1. H. C. M. Kleijn, M. Koutny
      Pages 531-546
    2. Hagen Völzer
      Pages 547-562
  11. Bisimulation

    1. Sławomir Lasota
      Pages 562-578
    2. Antonín Kučera, Richard Mayr
      Pages 594-609
  12. Back Matter
    Pages 611-611

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