Centrum Wiskunde & Informatica

Minimization Algorithm for Symbolic Bisimilarity In Proceedings

F. Bonchi (Filippo) and U. Montanari

January 2009
Encoding Asynchronous Interactions Using Open Petri Nets In Proceedings

P. Baldan, F. Bonchi (Filippo) and F. Gadducci (Fabio)

January 2009
Coalgebraic Symbolic Semantics In Proceedings

F. Bonchi (Filippo) and U. Montanari

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.

M. Sun (Meng) and F. Arbab (Farhad)

January 2009
A Coalgebraic Semantic Framework for Reasoning about Interaction Designs Book Chapter

M. Sun (Meng) and L.S. Barbosa

January 2009
A First Step towards Security Policy Compliance of Connectors In Proceedings

M. Sun (Meng)

January 2009

Previous

Next