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

Failure semantics with fair abstraction Tech Report

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

January 1986
Verification of two communication protocols by means of process algebra Tech Report

F.W. Vaandrager (Frits)

January 1986
Approximating the projective model Tech Report

E. Kranakis (Evangelos)

January 1986
Fixed point equations with parameters in the projective model Tech Report

E. Kranakis (Evangelos)

January 1986
Fonctions d'entrelacement sur les groupes de Lie compacts et polynômes othogonaux de plusieurs variables [Intertwining functions on compact Lie groups and orthogonal polynomials in several variables] Tech Report

B. Hoogenboom and T.H. Koornwinder

January 1986
Overload control for switches of communications systems : a two-phase model for call request processing Tech Report

R.K. Boel and J.H. van Schuppen (Jan)

January 1986
Multigrid approaches to the Euler equations Tech Report

P.W. Hemker (Piet) and G.M. Johnson

January 1986
Linear stability of the hopscotch scheme Tech Report

W. Hundsdorfer (Willem) and J.G. Verwer (Jan)

January 1986

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