1. PARLE 1987:
Eindhoven,
The Netherlands - Volume 2
J. W. de Bakker, A. J. Nijman, Philip C. Treleaven (Eds.):
PARLE, Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings.
Lecture Notes in Computer Science 259 Springer 1987, ISBN 3-540-17945-3 
- Arvind, Rishiyur S. Nikhil:
Executing a Program on the MIT Tagged-Token Dataflow Architecture.
1-29
- Keith L. Clark:
PARLOG: The Language and Its Applications.
30-53
- David Turner:
Functional Programming and Communicating Processes.
54-74
- Lex Augusteijn:
Garbage Collection in a Distributed Environment.
75-93
- Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop:
Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages.
94-111
- Duane A. Bailey, Janice E. Cuny:
An Approach to Programming Process Interconnections Structures: Aggregate Rewriting Graph Grammars.
112-123
- Mario Barbacci, Jeannette M. Wing:
Specifying Functional and Timing Behavior for Real-Time Applications.
124-140
- Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, John R. W. Glauert, Richard Kennaway, Marinus J. Plasmeijer, M. Ronan Sleep:
Term Graph Rewriting.
141-158
- Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, John R. W. Glauert, Richard Kennaway, Marinus J. Plasmeijer, M. Ronan Sleep:
Towards an Intermediate Language based on Graph Rewriting.
159-175
- D. I. Bevan:
Distributed Garbage Collection Using Reference Counting.
176-187
- Ulla Gamwell Dawids, Hans Henrik Løvengreen:
Rigorous Development of a Distributed Calendar System.
188-205
- Matthias Felleisen, Daniel P. Friedman:
A Reduction Semantics for Imperative Higher-Order Languages.
206-223
- Rob J. van Glabbeek, Frits W. Vaandrager:
Petri Net Models for Algebraic Theories of Concurrency.
224-242
- Janice I. Glasgow, Glenn H. MacEwen:
A Computational Model for Distributed Systems Using Operator Nets.
243-260
- E. Pascal Gribomont:
Design and Proof of Communicating Sequential Processes.
261-276
- Roger Hale, Ben C. Moszkowski:
Parallel Programming in Temporal Logic.
277-296
- David K. Harrison:
RUTH: A Functional Language for Real-Time Programming.
297-314
- Jozef Hooman:
A Compositional Proof Theory for Real-Time Distributed Message Passing.
315-332
- Carlos Delgado Kloos:
STREAM: A Scheme Language for Formally Describing Digital Circuits.
333-350
- Joost N. Kok:
A Fully Abstract Semantics for Data Flow Nets.
351-368
- A. R. Martin, J. V. Tucker:
The Concurrent Assignment Representation of Synchronous Systems.
369-386
- S. Ramesh:
A New and Efficient Implementation of Multiprocess Synchronization.
387-401
- Ph. Schnoebelen:
Rewriting Techniques for the Temporal Analysis of Communicating Processes.
402-419
- Hans Tebra:
Optimistic And-Parallelism in Prolog.
420-431
- Paul Watson, Ian Watson:
An Efficient Garbage Collection Scheme for Parallel Computer Architectures.
432-443
- David C. Luckham, David P. Helmbold, D. L. Bryan, M. A. Haberler:
Task Sequencing Language for Specifying Distributed Ada Systems.
444-463
Last update Thu May 24 04:39:36 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
