Publication
-
Proving program inclusion using Hoare's logic Article
Theoretical Computer Science, 30(1), 1-48.January 1984 -
Bounded tiling, an alternative to satisfiability? In Proceedings
January 1984 -
Process algebra for synchronous communication Article
Information and Control, 60(1-3), 109-137.January 1984 -
January 1984
-
Linear multistep methods with reduced truncation error for periodic initial value problems Article
IMA Journal of Numerical Analysis, 4(4), 479-489.January 1984 -
Singular perturbations and a mapping on an interval for the forced van der Pol relaxation oscillator Article
Physica - D, Nonlinear Phenomena, 13(1-2), 195-210.January 1984 -
An introduction to multilinear algebra and some applications Article
Philips Journal of Research, 39(4-5), 111-120.January 1984 -
Linear time and branching time semantics for recursion with merge Article
Theoretical Computer Science, 34(1-2), 135-156.January 1984