CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Searching CLEF-IP by Strategy Book Chapter
W. Alink (Wouter), R. Cornacchia (Roberto) and A.P. de Vries (Arjen)
November 2010
-
Quantitative Kleene coalgebras Article
Information and Computation, 209(5), 822-849.A.M. Silva (Alexandra), F. Bonchi (Filippo), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)
November 2010 -
A Decision Procedure for Bisimilarity of Generalized Regular Expressions In Proceedings
M.M. Bonsangue (Marcello), G. Caltais (Georgiana), E. Goriac, D. Lucanu (Dorel), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)
November 2010 -
A semantic model for service composition with coordination time delays In Proceedings
N. Kokash (Natallia), B. Changizi (Behnaz) and F. Arbab (Farhad)
November 2010
-
November 2010
-
XHTML-Print - Second Edition Standard
November 2010
-
XHTML™ Basic 1.1 - Second Edition Standard
November 2010
-
November 2010