Full abstraction for strongly fair communicating processes
2004 ◽
Vol 1
(1)
◽
pp. 1-20
2000 ◽
Vol 163
(2)
◽
pp. 471-509
◽
1995 ◽
Vol 1
◽
pp. 46-65
◽
1985 ◽
Vol 21
(2)
◽
pp. 63-68
◽
Keyword(s):
2015 ◽
Vol 84
(1)
◽
pp. 155-184
◽
Keyword(s):
Keyword(s):