Advertisement

Table of contents

  1. Front Matter
  2. Luca Aceto, Rocco De Nicola, Alessandro Fantechi
    Pages 1-20
  3. Pierre America, Jaco de Bakker
    Pages 21-80
  4. Egidio Astesiano, Gianna Reggio
    Pages 81-113
  5. Manfred Broy, Thomas Streicher
    Pages 114-143
  6. Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
    Pages 144-165
  7. Jean-Yves Girard
    Pages 166-182
  8. Anna Labella, Alberto Pettorossi
    Pages 183-198
  9. Grazyna Mirkowska, Andrzej Salwicki
    Pages 199-230
  10. Back Matter

About these proceedings

Introduction

The papers collected in this volume are most of the material presented at the Advanced School on Mathematical Models for the Semantics of Parallelism, held in Rome, September 24- October 1, 1986. The need for a comprehensive and clear presentation of the several semantical approaches to parallelism motivated the stress on mathematical models, by means of which comparisons among different approaches can also be performed in a perspicuous way.

Keywords

Equivalence concurrency distributed systems logic parallelism semantics

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-18419-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 1987
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-18419-5
  • Online ISBN 978-3-540-47960-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site