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 BibTeX
@proceedings{DBLP:conf/parle/1987-2,
editor = {J. W. de Bakker and
A. J. Nijman and
Philip C. Treleaven},
title = {PARLE, Parallel Architectures and Languages Europe, Volume II:
Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987,
Proceedings},
booktitle = {PARLE},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {259},
year = {1987},
isbn = {3-540-17945-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
- Arvind, Rishiyur S. Nikhil:
Executing a Program on the MIT Tagged-Token Dataflow Architecture.
1-29 BibTeX
- Keith L. Clark:
PARLOG: The Language and Its Applications.
30-53 BibTeX
- David Turner:
Functional Programming and Communicating Processes.
54-74 BibTeX
- Lex Augusteijn:
Garbage Collection in a Distributed Environment.
75-93 BibTeX
- Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop:
Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages.
94-111 BibTeX
- Duane A. Bailey, Janice E. Cuny:
An Approach to Programming Process Interconnections Structures: Aggregate Rewriting Graph Grammars.
112-123 BibTeX
- Mario Barbacci, Jeannette M. Wing:
Specifying Functional and Timing Behavior for Real-Time Applications.
124-140 BibTeX
- 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 BibTeX
- 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 BibTeX
- D. I. Bevan:
Distributed Garbage Collection Using Reference Counting.
176-187 BibTeX
- Ulla Gamwell Dawids, Hans Henrik Løvengreen:
Rigorous Development of a Distributed Calendar System.
188-205 BibTeX
- Matthias Felleisen, Daniel P. Friedman:
A Reduction Semantics for Imperative Higher-Order Languages.
206-223 BibTeX
- Rob J. van Glabbeek, Frits W. Vaandrager:
Petri Net Models for Algebraic Theories of Concurrency.
224-242 BibTeX
- Janice I. Glasgow, Glenn H. MacEwen:
A Computational Model for Distributed Systems Using Operator Nets.
243-260 BibTeX
- E. Pascal Gribomont:
Design and Proof of Communicating Sequential Processes.
261-276 BibTeX
- Roger Hale, Ben C. Moszkowski:
Parallel Programming in Temporal Logic.
277-296 BibTeX
- David K. Harrison:
RUTH: A Functional Language for Real-Time Programming.
297-314 BibTeX
- Jozef Hooman:
A Compositional Proof Theory for Real-Time Distributed Message Passing.
315-332 BibTeX
- Carlos Delgado Kloos:
STREAM: A Scheme Language for Formally Describing Digital Circuits.
333-350 BibTeX
- Joost N. Kok:
A Fully Abstract Semantics for Data Flow Nets.
351-368 BibTeX
- A. R. Martin, J. V. Tucker:
The Concurrent Assignment Representation of Synchronous Systems.
369-386 BibTeX
- S. Ramesh:
A New and Efficient Implementation of Multiprocess Synchronization.
387-401 BibTeX
- Ph. Schnoebelen:
Rewriting Techniques for the Temporal Analysis of Communicating Processes.
402-419 BibTeX
- Hans Tebra:
Optimistic And-Parallelism in Prolog.
420-431 BibTeX
- Paul Watson, Ian Watson:
An Efficient Garbage Collection Scheme for Parallel Computer Architectures.
432-443 BibTeX
- David C. Luckham, David P. Helmbold, D. L. Bryan, M. A. Haberler:
Task Sequencing Language for Specifying Distributed Ada Systems.
444-463 BibTeX
Copyright © Sat May 16 23:32:34 2009
by Michael Ley (ley@uni-trier.de)