Centrum Wiskunde & Informatica

Coordination of heterogeneous distributed cooperative constraint solving Tech Report

F. Arbab (Farhad) and E.B.G. Monfroy

January 1998
A note on coinduction and weak bisimilarity for while programs Tech Report

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

January 1998
Bisimulation for probabilistic transition systems : a coalgebraic approach Tech Report

E.P. de Vink (Erik) and J.J.M.M. Rutten (Jan)

January 1998
On the probabilistic complexity of numerically checking the binary Goldbachconjecture in certain intervals Tech Report

J.-M. Deshouillers and H.J.J. te Riele (Herman)

January 1998
Spotting structure in complex time dependent flow Tech Report

W.C. de Leeuw (Wim) and R. van Liere (Robert)

January 1998
Comparing LIC and spot noise Tech Report

W.C. de Leeuw (Wim) and R. van Liere (Robert)

January 1998
Porting a visualization package from IRIX to NT : what will I get, what will I pay? Tech Report

R. van Liere (Robert), J.A. Harkes and J.H. Kniesmeijer

January 1998
A distributed blackboard architecture for interactive data visualization Tech Report

R. van Liere (Robert), J.A. Harkes and W.C. de Leeuw (Wim)

January 1998

Previous

Next