Fixpoints for general correctness (Q549677): Difference between revisions

@@ Property / cites work @@
+Q5331549
@@ Property / cites work: Q5331549 / rank @@
+Normal rank
@@ Property / cites work @@
+A ternary operation in distributive lattices
@@ Property / cites work: A ternary operation in distributive lattices / rank @@
+Normal rank
@@ Property / cites work @@
+A theory for nondeterminism, parallelism, communication, and concurrency
+Normal rank
@@ Property / cites work @@
+A Transformation System for Developing Recursive Programs
+Normal rank
@@ Property / cites work @@
+A fixpoint theory for non-monotonic parallelism
@@ Property / cites work: A fixpoint theory for non-monotonic parallelism / rank @@
+Normal rank
@@ Property / cites work @@
+Q2721093
@@ Property / cites work: Q2721093 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Kleene under a modal demonic star
@@ Property / cites work: Kleene under a modal demonic star / rank @@
+Normal rank
@@ Property / cites work @@
+Domain Axioms for a Family of Near-Semirings
@@ Property / cites work: Domain Axioms for a Family of Near-Semirings / rank @@
+Normal rank
@@ Property / cites work @@
+Internal axioms for domain semirings
@@ Property / cites work: Internal axioms for domain semirings / rank @@
+Normal rank
@@ Property / cites work @@
+Q2844814
@@ Property / cites work: Q2844814 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about Loops in Total and General Correctness
+Normal rank
@@ Property / cites work @@
+Bilattices and the semantics of logic programming
@@ Property / cites work: Bilattices and the semantics of logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Ternary Boolean algebra
@@ Property / cites work: Ternary Boolean algebra / rank @@
+Normal rank
@@ Property / cites work @@
+A relation algebraic model of robust correctness
@@ Property / cites work: A relation algebraic model of robust correctness / rank @@
+Normal rank
@@ Property / cites work @@
+General Correctness Algebra
@@ Property / cites work: General Correctness Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Partial, Total and General Correctness
@@ Property / cites work: Partial, Total and General Correctness / rank @@
+Normal rank
@@ Property / cites work @@
+Unifying Recursion in Partial, Total and General Correctness
+Normal rank
@@ Property / cites work @@
+General correctness: A unification of partial and total correctness
+Normal rank
@@ Property / cites work @@
+A Hofmann-Mislove theorem for bitopological spaces
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+Relation-algebraic semantics
@@ Property / cites work: Relation-algebraic semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Chain-complete posets and directed sets with applications
+Normal rank
@@ Property / cites work @@
+The Linear Algebra of UTP
@@ Property / cites work: The Linear Algebra of UTP / rank @@
+Normal rank
@@ Property / cites work @@
+Kleene getting lazy
@@ Property / cites work: Kleene getting lazy / rank @@
+Normal rank
@@ Property / cites work @@
+Relational Methods in Computer Science
@@ Property / cites work: Relational Methods in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Q4041054
@@ Property / cites work: Q4041054 / rank @@
+Normal rank