CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Cones, foci: A mechanical framework for protocol verification Article
Formal Methods in System Design, 1-31.W.J. Fokkink (Wan), J. Pang (Jun) and J.C. van de Pol (Jaco)
January 2006 -
Variations on Itai-Rodeh leader election for anonymous rings and their analysis in PRISM Article
Journal of Universal Computer Science, 981-1006.January 2006 -
Computing with actions and communications Article
Bulletin of the Belgian Mathematical Society Simon Stevin, 789-905.January 2006 -
Divide and congruence: from decomposition of modalities to preservation of branching bisimulation In Proceedings
January 2006 -
Divide and congruence applied to eta-bisimulation In Proceedings
January 2006 -
Compositionality of Hennessy-Milner logic by structural operational semantics Article
Bulletin of the EATCS, 421-440.January 2006 -
On the Markovian Randomized Strategy of Controller for Markov Decision Processes In Proceedings
T. Chen (Taolue), T. Han and J. Lu
January 2006 -
On the Complete Axiomatization for Prefix Iteration modulo Observation Congruence Article
Acta Cybernetica, 471-483.T. Chen (Taolue), T. Han and J. Lu
January 2006