Skip to main content
SpringerLink
Log in
Book cover

PARLE '91. Parallel Architectures and Languages Europe

Volume II: Parallel Languages. Eindhoven, The Netherlands, June 10-13, 1991. Proceedings

  • Conference proceedings
  • © 1991

Overview

Editors:
  1. Emile H. L. Aarts
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jan Leeuwen
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Martin Rem
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 506)

Included in the following conference series:

Conference proceedings info: PARLE 1991.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (27 papers)

  1. Front Matter

    Download chapter PDF

  2. Loosely-coupled processes (preliminary version)

    • Jayadev Misra
    Pages 1-26

  3. Rendez-vous with metric semantics

    • J. W. de Bakker, E. P. de Vink
    Pages 27-57

  4. Embeddings among concurrent programming languages

    • Ehud Shapiro
    Pages 58-58

  5. Invariants and paradigms of concurrency theory

    • Ryszard Janicki, Maciej Koutny
    Pages 59-74

  6. Acceptance Automata: A framework for specifying and verifying TCSP parallel systems

    • Luis M. Alonso, Ricardo Peña
    Pages 75-91

  7. Models for dynamically placed concurrent processes

    • J. Fanchon, D. Millot
    Pages 92-109

  8. Formalisation of the behavior of actors by colored Petri nets and some applications

    • Yamina Sami, Guy Vidal-Naquet
    Pages 110-127

  9. Program refinement in fair transition systems

    • Ambuj K. Singh
    Pages 128-147

  10. Communication abstraction and refinement

    • J. T. Yantchev
    Pages 148-165

  11. On the semantics of languages for massively parallel SIMD architectures

    • Luc Bougé
    Pages 166-183

  12. A denotational real-time semantics for shared processors

    • Jozef Hooman
    Pages 184-201

  13. Concurrent clean

    • E. G. J. M. H. Nöcker, J. E. W. Smetsers, M. C. J. D. van Eekelen, M. J. Plasmeijer
    Pages 202-219

  14. The scriptic programming language

    • André van Delft
    Pages 220-237

  15. Structural operational semantics for Kernel Andorra Prolog

    • Seif Haridi, Catuscia Palamidessi
    Pages 238-253

  16. Customization of first-class tuple-spaces in a higher-order language

    • Suresh Jagannathan
    Pages 254-276

  17. A formal specification of the process trellis

    • Michael Factor
    Pages 277-294

  18. Strong bisimilarity on nets revisited

    • C. Autant, Z. Belmesk, Ph. Schnoebelen
    Pages 295-312

  19. A configuration approach to parallel programming

    • Jeff Magee, Naranker Dulay
    Pages 313-330

  20. Chaotic linear system solvers in a variable-grain data-driven multiprocessor system

    • Jean-Luc Gaudiot, Chih-Ming Lin
    Pages 331-348
Back to top

Other volumes

  1. PARLE '91 Parallel Architectures and Languages Europe

Keywords

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation