Skip to main content
SpringerLink
Log in
Book cover

PARLE Parallel Architectures and Languages Europe

Vol. 2: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987; Proceedings

  • Conference proceedings
  • © 1987

Overview

Editors:
  1. J. W. Bakker
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. A. J. Nijman
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. P. C. Treleaven
    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 259)

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 69.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 (26 papers)

  1. Front Matter

    Download chapter PDF

  2. Executing a program on the MIT Tagged-Token Dataflow architecture

    • Arvind, Rishiyur S. Nikhil
    Pages 1-29

  3. PARLOG: The language and its applications

    • Keith L. Clark
    Pages 30-53

  4. Functional programming and communicating processes

    • David Turner
    Pages 54-74

  5. Garbage collection in a distributed environment

    • Lex Augusteijn
    Pages 75-93

  6. Decidability of bisimulation equivalence for processes generating context-free languages

    • J. C. M. Baeten, J. A. Bergstra, J. W. Klop
    Pages 94-111

  7. An approach to programming process interconnection structures: Aggregate rewriting graph grammars

    • Duane A. Bailey, Janice E. Cuny
    Pages 112-123

  8. Specifying functional and timing behavior for real-time applications

    • Mario R. Barbacci, Jeannette M. Wing
    Pages 124-140

  9. Term graph rewriting

    • H. P. Barendregt, M. C. J. D. van Eekelen, J. R. W. Glauert, J. R. Kennaway, M. J. Plasmeijer, M. R. Sleep
    Pages 141-158

  10. Towards an intermediate language based on Graph Rewriting

    • H. P. Barendregt, M. C. J. D. van Eekelen, J. R. W. Glauert, J. R. Kennaway, M. J. Plasmeijer, M. R. Sleep
    Pages 159-175

  11. Distributed garbage collection using reference counting

    • DI Bevan
    Pages 176-187

  12. Rigorous development of a distributed calendar system

    • Ulla Gamwell Dawids, Hans Henrik Løvengreen
    Pages 188-205

  13. A reduction semantics for imperative higher-order languages

    • Matthias Felleisen, Daniel P. Friedman
    Pages 206-223

  14. Petri net models for algebraic theories of concurrency

    • Rob van Glabbeek, Frits Vaandrager
    Pages 224-242

  15. A computational model for distributed systems using operator nets

    • Janice I. Glasgow, Glenn H. MacEwen
    Pages 243-260

  16. Design and proof of communicating sequential processes

    • E. Pascal Gribomont
    Pages 261-276

  17. Parallel programming in Temporal Logic

    • Roger Hale, Ben Moszkowski
    Pages 277-296

  18. "Ruth: A functional language for real-time programming"

    • Dave Harrison
    Pages 297-314

  19. A compositional proof theory for real-time distributed message passing

    • Jozef Hooman
    Pages 315-332

  20. STREAM: A scheme language for formally describing digital circuits

    • Carlos Delgado Kloos
    Pages 333-350
Back to top

Keywords

Bibliographic Information

  • Book Title: PARLE Parallel Architectures and Languages Europe

  • Book Subtitle: Vol. 2: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987; Proceedings

  • Editors: J. W. Bakker, A. J. Nijman, P. C. Treleaven

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-17945-3

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1987

  • Softcover ISBN: 978-3-540-17945-0Published: 01 May 1987

  • eBook ISBN: 978-3-540-47181-3Published: 06 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XVI, 468

  • Topics: Programming Languages, Compilers, Interpreters, Processor Architectures

Publish with us

Policies and ethics

Back to top

Search

Navigation