Symbolic transition graph and its early bisimulation checking algorithms for the π-calculus
2021 ◽
Vol 43
(2)
◽
pp. 1-55
2005 ◽
pp. 331-350
Keyword(s):
2014 ◽
Vol 51
(4)
◽
pp. 1114-1132
◽
2008 ◽
Vol 3
(3)
◽
pp. 290-294
2018 ◽
Vol 25
(6)
◽
pp. 589-606