Centrum Wiskunde & Informatica

The tree identify protocol of IEEE 1394 in uCRL Tech Report

C. Shankland and M.B. van der Zwaag

January 1998
A complete axiomatisation of branching bisimulation for process algebras with alternative quantification over data Tech Report

J.F. Groote (Jan Friso) and S.P. Luttik (Bas)

January 1998
Approximate factorization in shallow water applications Tech Report

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

January 1998
PSIDE users' guide Tech Report

W.M. Lioen (Walter), J.J.B. de Swart (Jacques) and W.A. van der Veen (Wolter)

January 1998
Partially implicit BDF2 blends for convection dominated flows Tech Report

W. Hundsdorfer (Willem)

January 1998
A note on operator splitting in a stiff linear case Tech Report

J.G. Verwer (Jan) and B. Sportisse

January 1998
Uniform approximations of Bernoulli and Euler polynomials in terms of hyperbolic functions Tech Report

J.L. López and N.M. Temme (Nico)

January 1998
A survey of computational steering environments Tech Report

J.D. Mulder (Jurriaan), J.J. van Wijk (Jack) and R. van Liere (Robert)

January 1998

Previous

Next