CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
The quest for equational axiomatizations of parallel composition: Status and open problems In Proceedings
January 2006 -
TIJAH Scratches INEX 2005. Vague Element Selection, Overlap, Image Search, Relevance Feedback, and Users (Notebook paper) In Proceedings
V. Mihajlovic, G. Ramirez Camps (Georgina), T.H.W. Westerveld (Thijs), D. Hiemstra, H.E. Blok (Henk Ernst) and A.P. de Vries (Arjen)
January 2006
-
Bisimilarity is not finitely based over BPA with interrupt In Proceedings
L. Aceto (Luca), W.J. Fokkink (Wan), A. Ingólfsdóttir and S. Nain
January 2006 -
Guest editors’ introduction: Special issue on Process Theory for hybrid systems Article
Journal of Logic and Algebraic Programming, 1-3.January 2006 -
Type for hierarchic shapes (summary) In Proceedings
January 2006 -
Compositional Operational Semantics of a UML-Kernel-Model language Article
Electronic Notes in Theoretical Computer Science, 79-96.H. Fecher, M. Kyas (Marcel), W.P. de Roever and F.S. de Boer (Frank)
January 2006 -
Interacting process classes Article
January 2006 -
Power from Random Strings Article
SIAM Journal on Computing, 35(6), 1467-1493.E. Allender, H.M. Buhrman (Harry), M. Koucký (Michal), D. van Melkebeek and D. Ronneburger
January 2006