A completeness theorem for nondeterministic Kleene algebras (Q5096912): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-58338-6_100
+Normal rank
@@ Property / OpenAlex ID @@
+W1600458822
@@ Property / OpenAlex ID: W1600458822 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination, deadlock, and divergence
@@ Property / cites work: Termination, deadlock, and divergence / rank @@
+Normal rank
@@ Property / cites work @@
+Q4732097
@@ Property / cites work: Q4732097 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733426
@@ Property / cites work: Q4733426 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed points in free process algebras. I
@@ Property / cites work: Fixed points in free process algebras. I / rank @@
+Normal rank
@@ Property / cites work @@
+Process Algebra
@@ Property / cites work: Process Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Enriched categorical semantics for distributed calculi
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Two Complete Axiom Systems for the Algebra of Regular Events
+Normal rank
@@ Property / cites work @@
+The Category-Theoretic Solution of Recursive Domain Equations
+Normal rank