Fixpoints for general correctness (Q549677): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+N19
@@ Property / Mathematics Subject Classification ID: 68N19 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+D99
@@ Property / Mathematics Subject Classification ID: 06D99 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Y60
@@ Property / Mathematics Subject Classification ID: 16Y60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q55
@@ Property / Mathematics Subject Classification ID: 68Q55 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5925506
@@ Property / zbMATH DE Number: 5925506 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+distributive lattice
@@ Property / zbMATH Keywords: distributive lattice / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Egli-Milner order
@@ Property / zbMATH Keywords: Egli-Milner order / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+fixpoint
@@ Property / zbMATH Keywords: fixpoint / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+general correctness
@@ Property / zbMATH Keywords: general correctness / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+median
@@ Property / zbMATH Keywords: median / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+program semantics
@@ Property / zbMATH Keywords: program semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+recursion
@@ Property / zbMATH Keywords: recursion / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+semiring
@@ Property / zbMATH Keywords: semiring / 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.1016/j.jlap.2011.04.004
+Normal rank
@@ Property / OpenAlex ID @@
+W1974600686
@@ Property / OpenAlex ID: W1974600686 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:549677