On Locality and the Exchange Law for Concurrent Processes (Q3090834): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2155085039
@@ Property / OpenAlex ID: W2155085039 / rank @@
+Normal rank
@@ Property / cites work @@
+Free shuffle algebras in language varieties
@@ Property / cites work: Free shuffle algebras in language varieties / rank @@
+Normal rank
@@ Property / cites work @@
+A semantics for concurrent separation logic
@@ Property / cites work: A semantics for concurrent separation logic / rank @@
+Normal rank
@@ Property / cites work @@
+The equational theory of pomsets
@@ Property / cites work: The equational theory of pomsets / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Concurrent Kleene Algebra
@@ Property / cites work: Foundations of Concurrent 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 @@
+Q4738240
@@ Property / cites work: Q4738240 / rank @@
+Normal rank