Centrum Wiskunde & Informatica

Non-local choice and beyond: Intricacies of MSC choice nodes In Proceedings

A.J. Mooij (Arjan), N. Goga (Nicolae) and J.M.T. Romijn (Judi)

January 2005
Notions of bisimulation and congruence formats for SOS with data Article

Information and Computation, 200(1), 107-147.

M.R. Mousavi, M.A. Reniers (Michel) and J.F. Groote (Jan Friso)

January 2005
A syntactic commutativity format for SOS Article

Information Processing Letters, 93(5), 217-223.

M.R. Mousavi, M.A. Reniers (Michel) and J.F. Groote (Jan Friso)

January 2005
XML security in the next generation optical disc context In Proceedings

G.G. Nair, A. Gopalakrishnan, S. Mauw (Sjouke) and E. Moll

January 2005
An abstract interpretation toolkit for µ CRL In Proceedings

J.C. van de Pol (Jaco) and M.V. Espada

January 2005
DynTex: Dynamic Texture Database Software

R. Peteri (Renaud) and M.J. Huiskes (Mark)

January 2005
Generalized innermost rewriting In Proceedings

J.C. van de Pol (Jaco) and H. Zantema (Hans)

January 2005
Integrated Formal Methods - 5th International Conference, IFM 2005 Proceedings

January 2005

Previous

Next