CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
May 2001
-
June 2001
-
June 2001
-
Specifying coalgebras with modal logic Article
Theoretical Computer Science, 260(1-2), 119-138.June 2001
-
June 2001
-
June 2001
-
Configuration and dynamic reconfiguration of components using the coordination paradigm Article
Future Generation Computer Systems, 17(8), 1023-1038.June 2001
-
June 2001