Table of contents

  1. Front Matter
  2. P. Madhusudan, P. S. Thiagarajan
    Pages 18-33
  3. Ron van der Meyden, Moshe Y. Vardi
    Pages 34-49
  4. D. Lugiez, Ph. Schnoebelen
    Pages 50-66
  5. W. Damm, A. Pnueli, S. Ruah
    Pages 67-83
  6. Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
    Pages 84-98
  7. Joachim Parrow, Björn Victor
    Pages 99-114
  8. Perdita Stevens
    Pages 147-162
  9. Rajeev Alur, Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi
    Pages 163-178
  10. Simone Veglioni, Rocco De Nicola
    Pages 179-193
  11. J. J. M. M. Rutten
    Pages 194-218
  12. J. -F. Raskin, P. -Y. Schobbens, T. A. Henzinger
    Pages 219-236
  13. Parosh Aziz Abdulla, Karlis Čerāns
    Pages 253-268
  14. Peter Sewell
    Pages 269-284
  15. Roberto M. Amadio, Sanjiva Prasad
    Pages 301-316

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 9th International Conference on Concurrency Theory, CONCUR'98, held in Nice, France, in September 1998.
The 35 revised full papers presented were carefully selected from a total of 104 submissions. Also presented are five invited contributions. Among the topics covered are moduls of computation and semantic domains, process algebras, Petri Nets, event structures, real-time systems, hybrid systems, model checking, verification techniques, refinement, rewriting, typing systems and algorithms, etc..

Keywords

Concurrency CalcuLi Linear Time Logics Process Algebras Real-Time Systems Type Systems algorithm algorithms model checking petri net real-time verification

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0055611
  • Copyright Information Springer-Verlag 1998
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-64896-3
  • Online ISBN 978-3-540-68455-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book