Centrum Wiskunde & Informatica

A Model of Context-Dependent Component Connectors Article

Science of Computer Programming

M.M. Bonsangue (Marcello), D.G. Clarke (David) and A.M. Silva (Alexandra)

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 semantic model for service composition with coordination time delays In Proceedings

N. Kokash (Natallia), B. Changizi (Behnaz) and F. Arbab (Farhad)

November 2010
Searching CLEF-IP by Strategy Book Chapter

W. Alink (Wouter), R. Cornacchia (Roberto) and A.P. de Vries (Arjen)

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
XHTML-Print - Second Edition Standard

M. Grant, J Bigelow and S. Pemberton (Steven)

November 2010
XHTML™ 1.1 - Module-based XHTML - Second Edition Standard

S. McCarron (Shane), M. Ishikawa and S. Pemberton (Steven)

November 2010
XHTML™ Basic 1.1 - Second Edition Standard

S. McCarron (Shane), M. Ishikawa and S. Pemberton (Steven)

November 2010

Previous

Next