Advertisement

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
  16. Ernie Cohen, Leslie Lamport
    Pages 317-331
  17. Lisbeth Fajstrup, Eric Goubault, Martin Raußen
    Pages 332-347
  18. Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo
    Pages 348-363
  19. Benjamin C. Pierce
    Pages 364-365
  20. Albert Benveniste, Claude Jard, Stéphane Gaubert
    Pages 373-388
  21. Anna Philippou, Rance Cleaveland, Insup Lee, Scott Smolka, Oleg Sokolsky
    Pages 389-404
  22. Mario Bravetti, Marco Bernardo, Roberto Gorrieri
    Pages 405-422
  23. Luca de Alfaro
    Pages 423-438
  24. Thomas A. Henzinger
    Pages 439-454
  25. FranÇois Demichelis, Wiesław Zielonka
    Pages 455-469
  26. Eugene Asarin, Oded Maler, Amir Pnueli
    Pages 470-484
  27. Johan Bengtsson, Bengt Jonsson, Johan Lilius, Wang Yi
    Pages 485-500
  28. Walter Vogler, Alex Semenov, Alex Yakovlev
    Pages 501-516
  29. Philippe Darondeau
    Pages 533-548
  30. Rémi Morin
    Pages 549-564
  31. Marta Pietkiewicz-Koutny
    Pages 565-580
  32. Gian Luca Cattani, John Power, Glynn Winskel
    Pages 581-596
  33. Eugene W. Stark
    Pages 597-612
  34. Thomas Hildebrandt, Prakash Panangaden, Glynn Winskel
    Pages 613-628
  35. Jan Friso Groote, FranÇois Monin, Jaco van de Pol
    Pages 629-655
  36. Back Matter

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