Filters: Author is Markus Lohrey [Clear All Filters]
“Axiomatising divergence”, Inf. Comput., vol. 203, no. 2, pp. 115-144, 2005. paper-5.pdf (373.54 KB)
, “Axiomatising Divergence”, in Automata, Languages and Programming, 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002, Proceedings, 2002, vol. 2380, pp. 585-596. paper-195.pdf (202.29 KB)
,