Algebraic notions of nontermination: Omega and divergence in idempotent semirings
2010 ◽
Vol 79
(8)
◽
pp. 794-811
◽
Keyword(s):
2004 ◽
Vol 21
(3)
◽
pp. 307-322
◽
2017 ◽
Vol 79
◽
pp. 285-308
◽