CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Achievable performance of resource allocations in bandwidth sharing networks Article
Performance Evaluation, 59-77.January 2009 -
Minimization Algorithm for Symbolic Bisimilarity In Proceedings
January 2009
-
Encoding Asynchronous Interactions Using Open Petri Nets In Proceedings
January 2009
-
Coalgebraic Symbolic Semantics In Proceedings
January 2009
-
On the Semantics and Verification of Normative Multi-Agent Systems Article
Journal of Universal Computer Science, 15(13), 2629-2652.L. Astefanoaei (Lacramioara), F.S. de Boer (Frank), M. Dastani and J.-J.C. Meyer (John-Jules)
January 2009
-
Static Validation of WS-CDL Documents Article
Simulation Modelling Practice and Theory, 17(8), 1367-1377.G. Pu (Geguang), Z. Wang, L. Zhou, H. Zhang (Haoyuan), T. Wang (Tao), C. Yang, L. Peng and M. Sun (Meng)
January 2009 -
QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata Article
Fundamenta Informaticae, 95(1), 103-128.January 2009 -
January 2009