Centrum Wiskunde & Informatica

Mathematics as technology: mathematical engineering Tech Report

G. Alberts (Gerard)

January 1992
Processes as terms: non-well-founded models for bisimulation Tech Report

J.J.M.M. Rutten (Jan)

January 1992
Bisimulation semantics for concurrency with atomicity and action refinement Tech Report

J.W. de Bakker (Jaco) and E.P. de Vink (Erik)

January 1992
A simple specification language combining processes, time and data Tech Report

W.J. Fokkink (Wan)

January 1992
XlnPosse: structural simulation for graphics hardware Tech Report

M.A. Guravage (Michael), E.H. Blake (Edwin) and A.A.M. Kuijk (Fons)

January 1992
Towards a design theory for database triggers Tech Report

A.P.J.M. Siebes (Arno), M.H. van der Voort and M.L. Kersten (Martin)

January 1992
On steady, inviscid shock waves at contnuously curved, convex surfaces Tech Report

B. Koren (Barry) and H.T.M. van der Maarel (Eric)

January 1992
On the number of fixed point free elements in a permutation group. A collection of contributions in honour of Jack van Lint. Article

Discrete Mathematics, 135-138.

P.J. Cameron and A.M. Cohen (Arjeh)

January 1992

Previous

Next