CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 2005
-
Generalized innermost rewriting In Proceedings
January 2005 -
Modular supervisory control with general indecomposable specification languages In Proceedings
J. Komenda, J.H. van Schuppen (Jan), B. Gaudin and H. Marchand
January 2005 -
An abstract interpretation toolkit for µ CRL In Proceedings
January 2005 -
XML security in the next generation optical disc context In Proceedings
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
-
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
-
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