Centrum Wiskunde & Informatica

A study in algebraic specification: a language with goto-statements Tech Report

N.W.P. van Diepen

January 1986
Uniqueness of Gibbs measures and absorption probabilities Tech Report

H.C.P. Berbee (Henri)

January 1986
A note on rates of convergence in least squares estimation Tech Report

S.A. van de Geer (Sara)

January 1986
Berry-Esseen bound for student's statistic Tech Report

V.V. Slavova

January 1986
A numerical study of a 1D-scalar semi-conductor model equation Tech Report

W. Hundsdorfer (Willem), B.P. Sommeijer (Ben) and J.G. Verwer (Jan)

January 1986
A denotational semantics of a parallel object-oriented language Tech Report

P.H.M. America (Pierre), J.W. de Bakker (Jaco), J.N. Kok (Joost) and J.J.M.M. Rutten (Jan)

January 1986
Failures without chaos: a new process semantics for fair abstraction Tech Report

J.A. Bergstra (Jan), J.W. Klop (Jan Willem) and E.R. Olderog (Ernst-Rüdiger)

January 1986
Notes on the methodology of CCS and CSP Tech Report

R.J. van Glabbeek (Rob)

January 1986

Previous

Next