Centrum Wiskunde & Informatica

Proof theory for $ mu $ -CRL Tech Report

J.F. Groote (Jan Friso) and A. Ponse (Alban)

January 1991
Undecidable equivalences for basic process algebra Tech Report

J.F. Groote (Jan Friso) and H. Hüttel

January 1991
A short proof of the decidability of bisimulation fro normed BPA-processes Tech Report

J.F. Groote (Jan Friso)

January 1991
A numerical model of the northwest European Continental Shelf on the CRAY Y-MP2E Tech Report

E.D. de Goede (Erik)

January 1991
Normal forms in real time process algebra Tech Report

W.J. Fokkink (Wan)

January 1991
The failure of failures in a paradigm for asynchronous communication Tech Report

F.S. de Boer (Frank), J.N. Kok (Joost), C. Palamidessi (Catuscia) and J.J.M.M. Rutten (Jan)

January 1991
A sound and complete calculus for update logic Tech Report

D.J.N. van Eijck (Jan) and F.-J. de Vries (Fer-Jan)

January 1991
Quantification and partiality Tech Report

D.J.N. van Eijck (Jan)

January 1991

Previous

Next