Centrum Wiskunde & Informatica

Model-checking processes with data Article

Science of Computer Programming, 56(3), 251-273.

J.F. Groote (Jan Friso) and T.A.C. Willemse

January 2005
Semantic models of a timed distributed dataspace architecture Article

Theoretical Computer Science, 331(2-3), 291-323.

J. Hooman and J.C. van de Pol (Jaco)

January 2005
Vicious circles in orthogonal term rewriting systems In Proceedings

J. Ketema, J.W. Klop (Jan Willem) and V. van Oostrom (Vincent)

January 2005
Infinitary normalization Book Chapter

J.W. Klop (Jan Willem) and R. de Vrijer

January 2005
Stuttering congruence for $\Chi$ In Proceedings

S.P. Luttik (Bas) and N. Trcka

January 2005
Abstract Behavior Types: a foundation model for components and their composition Article

Science of Computer Programming, 55(1-3), 3-52.

F. Arbab (Farhad)

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

Previous

Next