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

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 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
  • About this book