โ Scribed by Arvind, Rishiyur S. Nikhil (auth.), J. W. de Bakker, A. J. Nijman, P. C. Treleaven (eds.)
No coin nor oath required. For personal study only.
Executing a program on the MIT Tagged-Token Dataflow architecture....Pages 1-29
PARLOG: The language and its applications....Pages 30-53
Functional programming and communicating processes....Pages 54-74
Garbage collection in a distributed environment....Pages 75-93
Decidability of bisimulation equivalence for processes generating context-free languages....Pages 94-111
An approach to programming process interconnection structures: Aggregate rewriting graph grammars....Pages 112-123
Specifying functional and timing behavior for real-time applications....Pages 124-140
Term graph rewriting....Pages 141-158
Towards an intermediate language based on Graph Rewriting....Pages 159-175
Distributed garbage collection using reference counting....Pages 176-187
Rigorous development of a distributed calendar system....Pages 188-205
A reduction semantics for imperative higher-order languages....Pages 206-223
Petri net models for algebraic theories of concurrency....Pages 224-242
A computational model for distributed systems using operator nets....Pages 243-260
Design and proof of communicating sequential processes....Pages 261-276
Parallel programming in Temporal Logic....Pages 277-296
"Ruth: A functional language for real-time programming"....Pages 297-314
A compositional proof theory for real-time distributed message passing....Pages 315-332
STREAM: A scheme language for formally describing digital circuits....Pages 333-350
A fully abstract semantics for data flow nets....Pages 351-368
The concurrent assignment representation of synchronous systems....Pages 369-386
A new and efficient implementation of multiprocess synchronization....Pages 387-401
Rewriting techniques for the temporal analysis of communicating processes....Pages 402-419
Optimistic and-parallelism in Prolog....Pages 420-431
An efficient garbage collection scheme for parallel computer architectures....Pages 432-443
Task sequencing language for specifying distributed Ada systems TSL-1....Pages 444-463
Programming Languages, Compilers, Interpreters; Processor Architectures
๐ SIMILAR VOLUMES
<p>Since the first PARLE conference, PARLE '87, attracted more than 300 participants, it was considered a useful and successful forum and encouraged the organization of this second issue known as PARLE '89. The initiative for these conferences was taken by project 415 of ESPRIT (the European Strateg
The innovative progress in the development of parallel computing systems and their increasing availability have caused a rise in interest in the scientific principles that underlie parallel computation and parallel programming. The biannual Parallel Architectures and Languages Europe (PARLE) confere
<p>Since the first PARLE conference, PARLE '87, attracted more than 300 participants, it was considered a useful and successful forum and encouraged the organization of this second issue known as PARLE '89. The initiative for these conferences was taken by project 415 of ESPRIT (the European Strateg