Latest News about Demonic Algebra with Domain (Q3498405): 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.1007/978-3-540-78913-0_6
+Normal rank
@@ Property / OpenAlex ID @@
+W1559440724
@@ Property / OpenAlex ID: W1559440724 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2721093
@@ Property / cites work: Q2721093 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+Demonic Algebra with Domain
@@ Property / cites work: Demonic Algebra with Domain / rank @@
+Normal rank
@@ Property / cites work @@
+On the Structure of Demonic Refinement Algebras with Enabledness and Termination
+Normal rank
@@ Property / cites work @@
+Kleene algebra with domain
@@ Property / cites work: Kleene algebra with domain / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767186
@@ Property / cites work: Q2767186 / 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 @@
+Laws of programming
@@ Property / cites work: Laws of programming / rank @@
+Normal rank
@@ Property / cites work @@
+Omega Algebra, Demonic Refinement Algebra and Commands
+Normal rank
@@ Property / cites work @@
+Q4218938
@@ Property / cites work: Q4218938 / 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 @@
+Mathematics of Program Construction
@@ Property / cites work: Mathematics of Program Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement Algebra with Operators for Enabledness and Termination
+Normal rank
@@ Property / cites work @@
+Towards a refinement algebra
@@ Property / cites work: Towards a refinement algebra / rank @@
+Normal rank