Decidability of simulation and bisimulation between lossy channel systems and finite state systems
1995 ◽
pp. 333-347
◽
2006 ◽
Vol 204
(5)
◽
pp. 713-740
◽
Keyword(s):
2004 ◽
Vol 25
(1)
◽
pp. 39-65
◽