Science of Computer Programming, Volume 13

Volume 13, Number 1, December 1989

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

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