CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Verification of JavaSpaces (TM) Parallel Programs In Proceedings
January 2003
-
The multi-model DBMS architecture and XML information retrieval Book Chapter
A.P. de Vries (Arjen), J.A. List (Johan) and H.E. Blok (Henk Ernst)
January 2003
-
Cofree coalgebras and recursiveness Article
Journal of Pure and Applied Algebra, 61-103.January 2003
-
January 2003
-
Identification clouds and automatic keyphrase assignment. Lessons learned from the TRIAL SOLUTION project Tech Report
January 2003
-
Verification of distributed dataspace architectures In Proceedings
January 2003
-
January 2003
-
New developments around the mCRL tool set In Proceedings
S.C.C. Blom (Stefan), J.F. Groote (Jan Friso), I.A. van Langevelde, B. Lisser (Bert) and J.C. van de Pol (Jaco)
January 2003