Table of contents

  1. Front Matter
  2. J. W. de Bakker, E. P. de Vink
    Pages 27-57
  3. Ryszard Janicki, Maciej Koutny
    Pages 59-74
  4. J. Fanchon, D. Millot
    Pages 92-109
  5. Ambuj K. Singh
    Pages 128-147
  6. J. T. Yantchev
    Pages 148-165
  7. E. G. J. M. H. Nöcker, J. E. W. Smetsers, M. C. J. D. van Eekelen, M. J. Plasmeijer
    Pages 202-219
  8. André van Delft
    Pages 220-237
  9. Seif Haridi, Catuscia Palamidessi
    Pages 238-253
  10. Michael Factor
    Pages 277-294
  11. C. Autant, Z. Belmesk, Ph. Schnoebelen
    Pages 295-312
  12. Jeff Magee, Naranker Dulay
    Pages 313-330

Other volumes

  1. Volume I: Parallel Architectures and Algorithms Eindhoven, The Netherlands, June 10–13, 1991 Proceedings
  2. PARLE '91 Parallel Architectures and Languages Europe
    Volume II: Parallel Languages Eindhoven, The Netherlands, June 10–13, 1991 Proceedings

About these proceedings

Keywords

Algorithems Algorithmus Betriebssystem (EDV) Concurrency Logies and Meanings of Programs Logik und Bedeutung von Programmen Operating Systems Parallel Architectures architecture configuration formal specification parallel programming programming programming language semantics

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-54152-7
  • Copyright Information Springer-Verlag 1991
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-54152-3
  • Online ISBN 978-3-540-47472-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book