Centrum Wiskunde & Informatica

A note on fairness in I/O automata Tech Report

J.M.T. Romijn (Judi) and F.W. Vaandrager (Frits)

January 1995
Hybrid I/O automata Tech Report

N.A. Lynch (Nancy), R. Segala, F.W. Vaandrager (Frits) and H.B. Weinberg

January 1995
Two-sorted metric temporal logics Tech Report

A. Montanari and M. de Rijke (Maarten)

January 1995
Rewrite systems for integer arithmetic Tech Report

H.R. Walters (Pum) and H. Zantema (Hans)

January 1995
An extensible language for the generation of parallel data manipulation andcontrol packages Tech Report

H.R. Walters (Pum), J.F.T. Kamperman (Jasper) and T.B. Dinesh

January 1995
A modal characterization of Peirce algebras Tech Report

M. de Rijke (Maarten)

January 1995
Fast and efficient solution methods for ozone chemistry Tech Report

M. van Loon (Martin)

January 1995
An asymptotic analysis of closed queueing networks with branching populations Tech Report

N. Bayer, E.G. Coffman and Y.A. Kogan

January 1995

Previous

Next