Citation Context

...lar, in [16] it is proved that it is possible to apply to weak semantics the algorithm to obtain axiomatic characterizations of semantic equivalences from the axioms for corresponding order [21]. And =-=[2, 3]-=- provides a detailed study of the axiomatization of weak simulation semantics. Let us also cite here the recent work by Anti Valmari [53], where he presents the full catalogue of (weak) linear-time co...