Algebras of modal operators and partial correctness
type: Item
instance of: scholarly article
title: Algebras of modal operators and partial correctness
zbMATH Open document ID: 1086.68082
author: Bernhard Möller
author: Georg Struth
published in: Theoretical Computer Science
publication date: 2006-04-06T00:00:00Z
full work available at URL: https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/39151
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 5017464
zbMATH Keywords: semirings
zbMATH Keywords: Kleene algebra
zbMATH Keywords: modal operators
zbMATH Keywords: partial correctness
zbMATH Keywords: Hoare logic
MaRDI profile type: Publication
OpenAlex ID: W2016732604
cites work: Q4344071
cites work: Demonic operators and monotype factors
cites work: Q2721093
cites work: ``A la Burstall'' intermittent assertions induction principles for proving inevitability properties of programs
cites work: Characterizing determinacy in Kleene algebras
cites work: Q4673439
cites work: Kleene algebra with domain
cites work: Q1890040
cites work: Q4525781
cites work: Boolean Algebras with Operators. Part I
cites work: Q3358736
cites work: A completeness theorem for Kleene algebras and the algebra of regular events
cites work: On Hoare logic and Kleene algebra with tests
cites work: Some results in dynamic model theory
cites work: Q3995530
cites work: Mathematics of Program Construction
cites work: Algebraic Methodology and Software Technology
cites work: Dynamic algebras: Examples, constructions, applications
cites work: Q5287518
cites work: Temporal algebra
cites work: Q4808696
DOI: 10.1016/J.TCS.2005.09.069
description: scientific article; zbMATH DE number 5017464