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
Volume 13, Numbers 2-3, May 1990
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
Copyright ©
Sun May 17 00:18:37 2009 by
Michael Ley
(
ley@uni-trier.de
)