Enabledness and termination in refinement algebra
type: Item
instance of: scholarly article
title: Enabledness and termination in refinement algebra
zbMATH Open document ID: 1192.68163
author: Kim Solin
author: Joakim von Wright
published in: Science of Computer Programming
publication date: 2009-07-24T00:00:00Z
Mathematics Subject Classification ID: 68N99
zbMATH DE Number: 5586774
zbMATH Keywords: refinement algebra
zbMATH Keywords: enabledness
zbMATH Keywords: termination
zbMATH Keywords: action systems
describes a project that uses: KAT-ML
MaRDI profile type: Publication
full work available at URL: j.scico.2007.11.004
OpenAlex ID: W2056368148
Wikidata QID: Q114850295
cites work: KAT-ML: an interactive theorem prover for Kleene algebra with tests
cites work: Q3898009
cites work: Refinement Calculus
cites work: Reasoning algebraically about loops
cites work: Program inversion: More than fun!
cites work: Q2721093
cites work: Kleene algebra with domain
cites work: Algebraic Notions of Termination
cites work: Q4144755
cites work: Q5584402
cites work: Q3925859
cites work: Automated Reasoning in Kleene Algebra
cites work: Omega Algebra, Demonic Refinement Algebra and Commands
cites work: A completeness theorem for Kleene algebras and the algebra of regular events
cites work: Q4362921
cites work: Reactive Probabilistic Programs and Refinement Algebra
cites work: Kleene getting lazy
cites work: Q4301161
cites work: On Two Dually Nondeterministic Refinement Algebras
cites work: A Sketch of a Dynamic Epistemic Semiring
cites work: Refinement Algebra with Operators for Enabledness and Termination
cites work: Q4808696
cites work: Towards a refinement algebra
DOI: 10.1016/J.SCICO.2007.11.004
Recommended article: Refinement Algebra with Operators for Enabledness and Termination
Recommended article: On the Structure of Demonic Refinement Algebras with Enabledness and Termination
Recommended article: Q4673439
Recommended article: Termination Modulo Combinations of Equational Theories
Recommended article: Algebraic Notions of Termination
Recommended article: Towards a refinement algebra
Recommended article: Algebraic foundations for specification refinements
Recommended article: Q3809236
Recommended article: Q4681457
Recommended article: Q4808696
description: scientific article; zbMATH DE number 5586774