Article thumbnail

An Algebraic Study of Commutation and Termination

By Georg Struth


We study commutation and termination properties in Cohen's w-algebra; an idempotent semiring with operations for finite and infinite iteration. We provide particularly simple calculational proofs of certain additivity and transformation theorems for termination that depend on commutation, cooperation or simulation properties. We also show that this algebraic approach provides a natural semantics to many standard diagrammatic arguments and that it is especially suited for mechanization in a formal method. Applications are total program correctness, abstract rewriting and concurrency control

Topics: Kleene-Algebra, Programmanalyse, Iterationstheorie, ddc:004
Year: 2006
OAI identifier:
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • https://opus.bibliothek.uni-au... (external link)
  • (external link)
  • https://opus.bibliothek.uni-au... (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.