CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Regular expressions for polynomial coalgebras Tech Report
M.M. Bonsangue (Marcello), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)
January 2007
-
January 2007
-
A Complete Guide to the Future In Proceedings
F.S. de Boer (Frank), D.G. Clarke (David) and E.B. Johnsen (Einar Broch)
January 2007 -
Tribe: a simple virtual class calculus In Proceedings
D.G. Clarke (David), S. Drossopoulou, J. Noble and T. Wrigstad
January 2007 -
Existential Owners for Ownership Types Article
Journal of Object Technology, 6(4), 141-159.January 2007
-
A novel physical model and computational method for non-isentropic, compressible two-fluid flow In Proceedings
January 2007
-
Prize winning two-fluid flow method, Best MSc work 2006 Article
Leonardo Times, 44-45.January 2007 -
Coordination Models Orc and Reo Compared In Proceedings
January 2007