CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
A case of visitor versus interpreter pattern In Proceedings
J.J. Vinju (Jurgen), P. Klint (Paul), M.A. Hills (Mark) and T. van der Storm (Tijs)
January 2011
-
A modular-coordinated control for continuous Petri nets In Proceedings
C.R. Vázquez (C. Renato), J.H. van Schuppen (Jan) and M. Silva (Manuel)
January 2011 -
Sharpness of the percolation transition in the two-dimensional contact process Article
Annals of Applied Probability, 21(1), 374-395.January 2011
-
January 2011
-
January 2011
-
Logic of Information Flow on Communication Channels Article
Lecture Notes in Computer ScienceY. Wang (Yanjing), F.A.G. Sietsma (Floor) and D.J.N. van Eijck (Jan)
January 2011 -
Modeling dynamic reconfiguration 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 -
Message Generated Kripke Semantics In Proceedings
January 2011