Centrum Wiskunde & Informatica

Model checking the HAVi leader election protocol Tech Report

J.M.T. Romijn (Judi)

January 1999
Complete axiomatisations of weak-, delay- and $ eta $ -bisimulation for process algebras with alternative quantification over data Tech Report

S.P. Luttik (Bas)

January 1999
Late-breaking papers of EuroGP-99 Tech Report

W.B. Langdon, R. Poli, P. Nordin and T. Fogarty

January 1999
Cylindric process algebras with conditionals give substitutionless $ p $ CRL Tech Report

S.P. Luttik (Bas)

January 1999
Verifying a smart design of TCAP : a synergetic experience Tech Report

T. Arts and I.A. van Langevelde

January 1999
Spatial discretization of the shallow water equations in spherical geometryusing Osher's scheme Tech Report

D. Lanser (Debby), J.G. Blom (Joke) and J.G. Verwer (Jan)

January 1999
Diagonizable extended backward differentiation formulas Tech Report

J.E. Frank (Jason) and P.J. van der Houwen (Piet)

January 1999
Cellular gravity Tech Report

F.C. Gruau and J.T. Tromp (John)

January 1999

Previous

Next