Dual choice and iteration in an abstract algebra of action

DOI10.1007/S11225-012-9416-9MaRDI QIDQ694489zbMATH OpenOpenAlexFDO

Authors Kim Solin

Publication date 12 December 2012

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-012-9416-9

zbMATH Keywords

logic of actionprogram refinementabstract algebranondeterministic choice

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Abstract algebraic logic (03G27)

Recommendations

• On Two Dually Nondeterministic Refinement Algebras
• An algebraic approach to refinement with fair choice
• Algebraic laws for nondeterminism and concurrency
• Axioms for action
• Unified algebras and action semantics

Cites work

• scientific article; zbMATH DE number 1612485 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 1086671 (Why is no real title available?)
• scientific article; zbMATH DE number 1487497 (Why is no real title available?)
• scientific article; zbMATH DE number 789390 (Why is no real title available?)
• A completeness theorem for Kleene algebras and the algebra of regular events
• A lattice-theoretical fixpoint theorem and its applications
• A sketch of a dynamic epistemic semiring
• An axiomatic basis for computer programming
• Application of modal logic to programming
• Applying modal logic
• Automated Reasoning in Kleene Algebra
• Automated verification of refinement laws
• Enabledness and termination in refinement algebra
• Omega Algebra, Demonic Refinement Algebra and Commands
• On Two Dually Nondeterministic Refinement Algebras
• Refinement Calculus
• Relations and Kleene algebra in computer science. 9th international conference on relational methods in computer science and 4th international workshop on applications of Kleene algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006. Proceedings
• Towards a refinement algebra

Describes a project that uses

Uses Software

• CalcCheck

This page was built for publication: Dual choice and iteration in an abstract algebra of action

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q694489)