Centrum Wiskunde & Informatica

Process algebra and Hoare's logic Tech Report

A. Ponse (Alban)

January 1988
On the estimation of multidimensional demographic models with population registration data Tech Report

R.D. Gill (Richard) and N. Keilman

January 1988
Dialogue cell resource model and basic dialogue cells Tech Report

H.J. Schouten and N. Keilman

January 1988
Comparative semantics for flow of control in logic programming without logic Tech Report

J.W. de Bakker (Jaco)

January 1988
Uniform abstraction, atomicity and contractions in the comparative semantics of concurrent PROLOG Tech Report

J.W. de Bakker (Jaco) and J.N. Kok (Joost)

January 1988
A Hille-Yosida type theorem for a class of weakly * continuous semigroups Tech Report

P.P. Clément (Philippe), O. Diekmann (Odo), M. Gyllenberg, H.J.A.M. Heijmans (Henk) and C.J.E. Thieme

January 1988
LINPACK routines based on the level 2 BLAS Tech Report

M. Nool (Margreet)

January 1988
Robustness improvement of point Gauss-Seidel relaxation for steady, hypersonic flow computations Tech Report

B. Koren (Barry)

January 1988

Previous

Next