A new strategy for proving ω-completeness applied to process algebra
Keyword(s):
Keyword(s):
Keyword(s):
2012 ◽
Vol 3
(6)
◽
pp. 35-41
2011 ◽
Vol 5
(3)
◽
pp. 337-364