Dual choice and iteration in an abstract algebra of action (Q694489): Difference between revisions

@@ Property / describes a project that uses @@
+CalcCheck
@@ Property / describes a project that uses: CalcCheck / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11225-012-9416-9
+Normal rank
@@ Property / OpenAlex ID @@
+W1988459354
@@ Property / OpenAlex ID: W1988459354 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4493906
@@ Property / cites work: Q4493906 / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement Calculus
@@ Property / cites work: Refinement Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q2721093
@@ Property / cites work: Q2721093 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4846258
@@ Property / cites work: Q4846258 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Omega Algebra, Demonic Refinement Algebra and Commands
+Normal rank
@@ Property / cites work @@
+Automated Reasoning in Kleene Algebra
@@ Property / cites work: Automated Reasoning in Kleene Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Automated verification of refinement laws
@@ Property / cites work: Automated verification of refinement laws / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+Q4362921
@@ Property / cites work: Q4362921 / rank @@
+Normal rank
@@ Property / cites work @@
+Application of modal logic to programming
@@ Property / cites work: Application of modal logic to programming / rank @@
+Normal rank
@@ Property / cites work @@
+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
+Normal rank
@@ Property / cites work @@
+Applying modal logic
@@ Property / cites work: Applying modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+On Two Dually Nondeterministic Refinement Algebras
+Normal rank
@@ Property / cites work @@
+A sketch of a dynamic epistemic semiring
@@ Property / cites work: A sketch of a dynamic epistemic semiring / rank @@
+Normal rank
@@ Property / cites work @@
+Enabledness and termination in refinement algebra
@@ Property / cites work: Enabledness and termination in refinement algebra / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Towards a refinement algebra
@@ Property / cites work: Towards a refinement algebra / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:694489