A complete axiomatization of weighted branching bisimulation
1991 ◽
Vol 16
(3)
◽
pp. 439-475
◽
Keyword(s):
2012 ◽
Vol 413
(1)
◽
pp. 58-72
◽
Keyword(s):
2006 ◽
pp. 327-342
◽
1994 ◽
pp. 555-568
◽
Keyword(s):