![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
1. PARLE 1987: Eindhoven, The Netherlands - Volume 2
- J. W. de Bakker, A. J. Nijman, Philip C. Treleaven:
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 - David 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 - Andrew Richard Martin, John V. Tucker:
The Concurrent Assignment Representation of Synchronous Systems. 369-386 - S. Ramesh:
A New and Efficient Implementation of Multiprocess Synchronization. 387-401 - Philippe 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.