Centrum Wiskunde & Informatica

Publications by Year

sign in

Home

CWI Institutional Repository

Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands

An algebra for process creation Tech Report

J.C.M. Baeten (Jos) and F.W. Vaandrager (Frits)

January 1989
Placing mirrors in grids Tech Report

E. Kranakis (Evangelos), D.D.M. Krizanc and L.G.L.T. Meertens (Lambert)

January 1989
Process expressions and Hoare's logic Tech Report

A. Ponse (Alban)

January 1989
Proving total correctness of recursive procedures Tech Report

P.H.M. America (Pierre) and F.S. de Boer (Frank)

January 1989
Designing concurrency semantics Tech Report

J.W. de Bakker (Jaco)

January 1989
Lie-algebraic aspects of the classical nonrelativistic Calogero-Moser models Tech Report

J.K. Scholma

January 1989
Simple approximations for second moment characteristics of the sojourn time in the M/G/1 processor sharing queue Tech Report

J.L. van den Berg (Hans)

January 1989
Block Runge-Kutta methods on parallel computers Tech Report

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

January 1989

Previous

Next

Address
- Centrum Wiskunde & Informatica
- Science Park 123 | 1098 XG Amsterdam | the Netherlands

CWI researchers
- Register Your Work
Questions or comments?
- repository@cwi.nl

Workflow

Workflow

Add Content

User Publication Person Organisation Collection

Close