Centrum Wiskunde & Informatica

Proving termination of parallel programs Tech Report

K.R. Apt (Krzysztof), F.S. de Boer (Frank) and E.R. Olderog (Ernst-Rüdiger)

January 1990
Specification and verification of real time systems in ACP Tech Report

J.F. Groote (Jan Friso)

January 1990
Term rewriting systems from Church-Rosser to Knuth-Bendix and beyond Tech Report

J.W. Klop (Jan Willem)

January 1990
Computing boolean functions on anonymous networks Tech Report

E. Kranakis (Evangelos), D.D.M. Krizanc and J. van den Berg (Rob)

January 1990
Acyclic programs : extended abstract Tech Report

K.R. Apt (Krzysztof) and M.A. Bezem

January 1990
Spurious entropy generation in a non-smooth geometry Tech Report

H.T.M. van der Maarel (Eric) and B. Koren (Barry)

January 1990
Parallel ODE solvers Tech Report

P.J. van der Houwen (Piet) and B.P. Sommeijer (Ben)

January 1990
Defect correction and nonlinear multigrid for steady Euler equations Tech Report

P.W. Hemker (Piet) and B. Koren (Barry)

January 1990

Previous

Next