PARLE Parallel Architectures and Languages Europe : Volume II: Parallel Languages Eindhoven, the Netherlands, June 15-19, 1987 Proceedings

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