CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
FNB Daisy-III Player Software
January 2006 -
AMIS/Ambulant Daisy Player Software
January 2006 -
January 2006
-
Modeling component connectors in Reo by constraint automata Article
Science of Computer Programming, 75-113.F. Arbab (Farhad), C. Baier, J.J.M.M. Rutten (Jan) and M. Sirjani (Marjan)
January 2006
-
Presenting Functors by Operations and Equations, in Foundations of Software Science and Computation Structures In Proceedings
January 2006 -
January 2006
-
January 2006
-
A Framework for Automatically Checking Anonymity with mCRL In Proceedings
T. Chothia (Tom), S.-M. Orzan (Simona-Mihaela), J. Pang (Jun) and M.T. Dashti (Mohammad)
January 2006