Abstract is missing.
- Executing a Program on the MIT Tagged-Token Dataflow ArchitectureArvind, Rishiyur S. Nikhil. 1-29
- PARLOG: The Language and Its ApplicationsKeith L. Clark. 30-53
- Functional Programming and Communicating ProcessesDavid Turner. 54-74
- Garbage Collection in a Distributed EnvironmentLex Augusteijn. 75-93
- Decidability of Bisimulation Equivalence for Processes Generating Context-Free LanguagesJos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop. 94-111
- An Approach to Programming Process Interconnections Structures: Aggregate Rewriting Graph GrammarsDuane A. Bailey, Janice E. Cuny. 112-123
- Specifying Functional and Timing Behavior for Real-Time ApplicationsMario Barbacci, Jeannette M. Wing. 124-140
- Term Graph RewritingHendrik Pieter Barendregt, Marko C. J. D. van Eekelen, John R. W. Glauert, Richard Kennaway, Marinus J. Plasmeijer, M. Ronan Sleep. 141-158
- Towards an Intermediate Language based on Graph RewritingHendrik Pieter Barendregt, Marko C. J. D. van Eekelen, John R. W. Glauert, Richard Kennaway, Marinus J. Plasmeijer, M. Ronan Sleep. 159-175
- Distributed Garbage Collection Using Reference CountingD. I. Bevan. 176-187
- Rigorous Development of a Distributed Calendar SystemUlla Gamwell Dawids, Hans Henrik Løvengreen. 188-205
- A Reduction Semantics for Imperative Higher-Order LanguagesMatthias Felleisen, Daniel P. Friedman. 206-223
- Petri Net Models for Algebraic Theories of ConcurrencyRob J. van Glabbeek, Frits W. Vaandrager. 224-242
- A Computational Model for Distributed Systems Using Operator NetsJanice I. Glasgow, Glenn H. MacEwen. 243-260
- Design and Proof of Communicating Sequential ProcessesE. Pascal Gribomont. 261-276
- Parallel Programming in Temporal LogicRoger Hale, Ben C. Moszkowski. 277-296
- RUTH: A Functional Language for Real-Time ProgrammingDavid K. Harrison. 297-314
- A Compositional Proof Theory for Real-Time Distributed Message PassingJozef Hooman. 315-332
- STREAM: A Scheme Language for Formally Describing Digital CircuitsCarlos Delgado Kloos. 333-350
- A Fully Abstract Semantics for Data Flow NetsJoost N. Kok. 351-368
- The Concurrent Assignment Representation of Synchronous SystemsA. R. Martin, J. V. Tucker. 369-386
- A New and Efficient Implementation of Multiprocess SynchronizationS. Ramesh. 387-401
- Rewriting Techniques for the Temporal Analysis of Communicating ProcessesPh. Schnoebelen. 402-419
- Optimistic And-Parallelism in PrologHans Tebra. 420-431
- An Efficient Garbage Collection Scheme for Parallel Computer ArchitecturesPaul Watson, Ian Watson. 432-443
- Task Sequencing Language for Specifying Distributed Ada SystemsDavid C. Luckham, David P. Helmbold, D. L. Bryan, M. A. Haberler. 444-463