Normal forms in total correctness for while programs and action systems (Q549683): Difference between revisions

@@ 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.008
+Normal rank
@@ Property / OpenAlex ID @@
+W2054917142
@@ Property / OpenAlex ID: W2054917142 / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed cooperation with action systems
@@ Property / cites work: Distributed cooperation with action systems / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement Calculus
@@ Property / cites work: Refinement Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Flow diagrams, turing machines and languages with only two formation rules
+Normal rank
@@ Property / cites work @@
+Q2721093
@@ Property / cites work: Q2721093 / rank @@
+Normal rank
@@ Property / cites work @@
+Kleene algebra with domain
@@ Property / cites work: Kleene algebra with domain / rank @@
+Normal rank
@@ Property / cites work @@
+Programming as a Discipline of Mathematical Nature
+Normal rank
@@ Property / cites work @@
+On folk theorems
@@ Property / cites work: On folk theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning in Kleene Algebra
@@ Property / cites work: Automated Reasoning in Kleene Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+Using Probabilistic Kleene Algebra for Protocol Verification
+Normal rank
@@ Property / cites work @@
+Refinement algebra for probabilistic programs
@@ Property / cites work: Refinement algebra for probabilistic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4130977
@@ Property / cites work: Q4130977 / rank @@
+Normal rank
@@ Property / cites work @@
+A While Program Normal Form Theorem in Total Correctness
+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 @@
+Q4808696
@@ Property / cites work: Q4808696 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a refinement algebra
@@ Property / cites work: Towards a refinement algebra / rank @@
+Normal rank