Centrum Wiskunde & Informatica

On the Markovian Randomized Strategy of Controller for Markov Decision Processes In Proceedings

T. Chen (Taolue), T. Han and J. Lu

January 2006
Compositionality of Hennessy-Milner logic by structural operational semantics Article

Bulletin of the EATCS, 421-440.

W.J. Fokkink (Wan), R.J. van Glabbeek (Rob) and P. de Wind

January 2006
Divide and congruence applied to eta-bisimulation In Proceedings

W.J. Fokkink (Wan), R.J. van Glabbeek (Rob) and P. de Wind

January 2006
Coordinated Composition of Software Components Book Chapter

F. Arbab (Farhad)

January 2006
Divide and congruence: from decomposition of modalities to preservation of branching bisimulation In Proceedings

W.J. Fokkink (Wan), R.J. van Glabbeek (Rob) and P. de Wind

January 2006
Computing with actions and communications Article

Bulletin of the Belgian Mathematical Society Simon Stevin, 789-905.

W.J. Fokkink (Wan) and J.W. Klop (Jan Willem)

January 2006
Variations on Itai-Rodeh leader election for anonymous rings and their analysis in PRISM Article

Journal of Universal Computer Science, 981-1006.

W.J. Fokkink (Wan) and J. Pang (Jun)

January 2006
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

Previous

Next