Unique Parallel Decomposition in Branching and Weak Bisimulation Semantics
2012 ◽
pp. 250-264
◽
2016 ◽
Vol 612
◽
pp. 29-44
◽
1991 ◽
Vol 29
(4)
◽
pp. 829-847
◽
1989 ◽
2006 ◽
pp. 390-405
◽
Keyword(s):
Keyword(s):
1998 ◽
Vol 282
(1-3)
◽
pp. 1-24
◽