- Search

- Kontakt

Algebraic Notions of Non-Termination

P. Höfner G. Struth
CS-06-12
in: University of Sheffield Technical Report, Department of Computer Science, University of Sheffield, December 2006
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.

Downloads:

  • CS0612 - (Algebraic_Notion_of_Non-Termination.pdf, 0 KB)