CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Semantic models of a timed distributed dataspace architecture Article
Theoretical Computer Science, 331(2-3), 291-323.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
January 2005 -
Stuttering congruence for $\Chi$ In Proceedings
January 2005 -
Abstract Behavior Types: a foundation model for components and their composition Article
Science of Computer Programming, 55(1-3), 3-52.January 2005 -
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