External Links

Journal: Science of Computer Programming

Volume 13, Issue 1

1 -- 21Gregory R. Andrews. A Method for Solving Synchronization Problems
23 -- 50Eike Best, Christian Lengauer. Semantic Independence
51 -- 72C. Hemerik, Joost-Pieter Katoen. Bottom-Up Tree Acceptors
73 -- 110Robert D. Tennent. Elementary Data Structures in ALGOL-Like Languages
111 -- 116André Arnold. An Example of Sequentialization of a Parallel Algorithm
133 -- 180Ralph-Johan Back, Kaisa Sere. Stepwise Refinement of Parallel Algorithms
181 -- 218Simon J. Thompson. Lawful Functions and Program Verification in Miranda
219 -- 236Jean-Claude Fernandez. An Implementation of an Efficient Algorithm for Bisimulation Equivalence
237 -- 264Erik P. de Vink. Comparative Semantics for PROLOG with Cut
runs on