1. PARLE 1987: Eindhoven, The Netherlands - Volume 2

• 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