CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Channel-based coordination via constraint satisfaction Article
Science of Computer Programming, 76(8), 681-710.D.G. Clarke (David), J.M.P. Proença (Jose), A. Lazovik (Aliaksandr) and F. Arbab (Farhad)
January 2011
-
January 2011
-
Modeling dynamic reconfigurations in Reo using high-level replacement systems Article
Science of Computer Programming, 76(1), 23-36.C. Krause (born Köhler) (Christian), Z. Maraikar (Ziyan), A. Lazovik (Aliaksandr) and F. Arbab (Farhad)
January 2011
-
Puff, the magic protocol Book Chapter
January 2011
-
Puff, the magic protocol Presentation
January 2011 -
Lapp-Top Leiden Presentation
January 2011 -
Quantitative analysis of venation patterns of Arabidopsis leaves by supervised image analysis Article
The Plant Journal, epub(doi:10.1111/j.1365-313X.2011.04803.x)S. Dhondt, D. van Haerenborgh, C. van Cauwenbergh, R.M.H. Merks (Roeland), W. Philips, G.T.S. Beemster and D. Inze
January 2011
-
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)
January 2011