Schedulers and Finishers: On Generating the Behaviours of an Event Structure (Q3179396): Difference between revisions

@@ Property / author @@
-Annabelle McIver
@@ Property / author: Annabelle McIver / rank @@
-Normal rank
@@ Property / author @@
+Annabelle McIver
@@ Property / author: Annabelle McIver / 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.1007/978-3-319-46750-4_8
+Normal rank
@@ Property / OpenAlex ID @@
+W2521163036
@@ Property / OpenAlex ID: W2521163036 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4015945
@@ Property / cites work: Q4015945 / 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 @@
+Infinite executions of lazy and strict computations
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Kleene algebra and its foundations
@@ Property / cites work: Concurrent Kleene algebra and its foundations / rank @@
+Normal rank
@@ Property / cites work @@
+Time, clocks, and the ordering of events in a distributed system
+Normal rank
@@ Property / cites work @@
+An Event Structure Model for Probabilistic Concurrent Kleene Algebra
+Normal rank
@@ Property / cites work @@
+Probabilistic rely-guarantee calculus
@@ Property / cites work: Probabilistic rely-guarantee calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Axioms for memory access in asynchronous hardware systems
+Normal rank
@@ Property / cites work @@
+Petri nets, event structures and domains. I
@@ Property / cites work: Petri nets, event structures and domains. I / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling concurrency with partial orders
@@ Property / cites work: Modeling concurrency with partial orders / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Communicating Sequential Processes
@@ Property / cites work: A Theory of Communicating Sequential Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Configuration structures, event structures and Petri nets
+Normal rank
@@ Property / cites work @@
+Probabilistic event structures and domains
@@ Property / cites work: Probabilistic event structures and domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q3667958
@@ Property / cites work: Q3667958 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3030239
@@ Property / cites work: Q3030239 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3179396