Publication
-
On finite alphabets, infinite bases III: Simulation In Proceedings
January 2006 -
January 2006
-
On the Complete Axiomatization for Prefix Iteration modulo Observation Congruence Article
Acta Cybernetica, 471-483.January 2006
-
January 2006
-
Compositionality of Hennessy-Milner logic by structural operational semantics Article
Bulletin of the EATCS, 421-440.January 2006 -
Divide and congruence applied to eta-bisimulation In Proceedings
January 2006 -
Divide and congruence: from decomposition of modalities to preservation of branching bisimulation In Proceedings
January 2006 -
Computing with actions and communications Article
Bulletin of the Belgian Mathematical Society Simon Stevin, 789-905.January 2006