CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Preemptive scheduling of uniform machines subject to release dates In Proceedings
J. Labetoulle, E.L. Lawler, J.K. Lenstra (Jan Karel) and A.H.G. Rinnooy Kan
January 1984 -
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