- Suche

- Kontakt

Non-Termination in Idempotent Semirings

P. Höfner, G.Struth
erschienen 2008 in R. Berghammer, B. Möller, G. Struth (eds.): Relations and Kleene algebra in Computer Science.
Lecture Notes in Computer Science 4988. Springer 2008, pp. 206-220

Abstract:
We study and compare two notions of non-termination on idempotent semirings: infinite iteration and divergence. We determine them in various models and develop conditions for their coincidence. It turns out that divergence yields a simple and natural way of modelling infinite behaviour, whereas infinite iteration shows some anomalies.