Advertisement

Table of contents

  1. Front Matter
  2. François Laroussinie, Kim G. Larsen
    Pages 27-41
  3. Ugo Montanari, Marco Pistore
    Pages 42-56
  4. Gian-Luigi Ferrari, Ugo Montanari, Paola Quaglia
    Pages 57-71
  5. Bernhard Steffen, Andreas Claßen, Marion Klein, Jens Knoop, Tiziana Margaria
    Pages 72-87
  6. Xinxin Liu, David Walker
    Pages 103-116
  7. Claudio Hermida, John Power
    Pages 117-129
  8. Flavio Corradini, Rocco De Nicola, Anna Labella
    Pages 130-144
  9. Nadia Busi, Roberto Gorrieri
    Pages 145-159
  10. Mogens Nielsen, Lutz Priese, Vladimiro Sassone
    Pages 175-189
  11. Frits Vaandrager
    Pages 190-203
  12. J. F. Groote, M. P. A. Sellink
    Pages 204-218
  13. Manuel Núñez, David de Frutos, Luis Llana
    Pages 249-263
  14. Jeremy Bryans, Jim Davies, Steve Schneider
    Pages 269-283
  15. Walter Vogler
    Pages 299-312
  16. Ed Brinksma, Arend Rensink, Walter Vogler
    Pages 313-327
  17. Petr Jančar, Faron Moller
    Pages 348-362
  18. Marcello M. Bonsangue, Joost N. Kok, Erik de Vink
    Pages 363-377
  19. E. M. Clarke, O. Grumberg, S. Jha
    Pages 395-407
  20. Orna Kupferman, Moshe Y. Vardi
    Pages 408-422
  21. Roope Kaivola
    Pages 423-437
  22. P. S. Thiagarajan
    Pages 438-452
  23. Anna Philippou, David Walker
    Pages 456-470
  24. Simon Brock, Gerald Ostheimer
    Pages 471-485
  25. M. Hennessy, J. Rathke
    Pages 486-500
  26. P. R. D'Argenio, S. Mauw
    Pages 501-515
  27. Kārlis Čerāns
    Pages 516-530
  28. Ahmed Bouajjani, Yassine Lakhnech
    Pages 531-545
  29. Back Matter

About these proceedings

Introduction

This book constitutes the proceedings of the 6th International Conference on Concurrency Theory, CONCUR '95, held in Philadelphia, Pennsylvania in August 1995.
The volume presents seven invited contributions by outstanding researchers and 33 refereed full research papers selected by the program committee out of a total of 91 submissions. The collection of articles gives a representative overview on what happened in this area of research, since the last CONCUR conference took place. There are sections on model checking, mobile processes, process theory, true concurrency, process algebra, probabilistic automata, real-time systems, testing semantics, decidability results, refinement theory, and linear-time logics.

Keywords

Concurrency Echtzeitsysteme Mobile Processes Mobile Prozesse Model Checkcing Modellprüfung Nebenläufigkeit Program Semantics Programmsemantik Real-Time Systems calculus complexity logic

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-60218-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 1995
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-60218-7
  • Online ISBN 978-3-540-44738-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site