Science of Computer Programming, Volume 13

Volume 13, Number 1, December 1989

• Gregory R. Andrews: A Method for Solving Synchronization Problems. 1-21
• Eike Best, Christian Lengauer: Semantic Independence. 23-50
• C. Hemerik, Joost-Pieter Katoen: Bottom-Up Tree Acceptors. 51-72
• Robert D. Tennent: Elementary Data Structures in ALGOL-Like Languages. 73-110
• André Arnold: An Example of Sequentialization of a Parallel Algorithm. 111-116

Volume 13, Numbers 2-3, May 1990

• Ralph-Johan Back, Kaisa Sere: Stepwise Refinement of Parallel Algorithms. 133-180
• Simon J. Thompson: Lawful Functions and Program Verification in Miranda. 181-218
• Jean-Claude Fernandez: An Implementation of an Efficient Algorithm for Bisimulation Equivalence. 219-236
• Erik P. de Vink: Comparative Semantics for PROLOG with Cut. 237-264