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
Copyright ©
Mon Nov 2 21:51:36 2009 by
Michael Ley
(
ley@uni-trier.de
)