Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1987

PARLE Parallel Architectures and Languages Europe

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

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)

Sections

Buy it now

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

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

Table of contents (26 papers)

  1. Front Matter

    PDF

  3. PARLOG: The language and its applications

    • Keith L. Clark
    Pages 30-53

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

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

  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

  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
Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation