Centrum Wiskunde & Informatica

Verification of parallel systems via decomposition Tech Report

J.F. Groote (Jan Friso) and F. Moller

January 1992
A singular perturbation theorem for evolution equations and time-scale arguments for structured population models Tech Report

G. Greiner, J.A.P. Heesterbeek (Hans) and J.A.J. Metz

January 1992
Asynchronous communication in process algebra : extended abstract Tech Report

F.S. de Boer (Frank), J.W. Klop (Jan Willem) and C. Palamidessi (Catuscia)

January 1992
The saturating contact rate in marriage- and epidemic models Tech Report

J.A.P. Heesterbeek (Hans) and J.A.J. Metz

January 1992
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

Previous

Next