CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 2008
-
Reo Connectors as Coordination Artifacts in 2APL Systems In Proceedings
F.S. de Boer (Frank), F. Arbab (Farhad), L. Astefanoaei (Lacramioara), M. Dastani and J.-J.C. Meyer (John-Jules)
January 2008 -
A Verification Framework for Normative Multi-Agent Systems In Proceedings
F.S. de Boer (Frank), L. Astefanoaei (Lacramioara), M. Dastani and J.-J.C. Meyer (John-Jules)
January 2008 -
A Deductive Proof System for Multithreaded Java with Exceptions Article
Fundamenta Informaticae, 82(4)F.S. de Boer (Frank), E. Abraham (Erika), W.P. de Roever and M. Steffen
January 2008 -
Lower bounds for measurable chromatic numbers Tech Report
C. Bachoc, G. Nebe, F.M. de Oliveira Filho (Fernando Mario) and F. Vallentin (Frank)
January 2008
-
Model-checking agent refinement In Proceedings
January 2008 -
January 2008
-
Autonomous Scheduling In Proceedings
C. Yadati, C. Witteveen (Cees), Y.Q. Zhang (Yingqian (Jennie)), M. Wu (Mengxiao) and J.A. La Poutré (Han)
January 2008