Concurrent semantics for fusions: weak prime domains and connected event structures (Q2051794): 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.ic.2021.104770
+Normal rank
@@ Property / OpenAlex ID @@
+W3166237316
@@ Property / OpenAlex ID: W3166237316 / rank @@
+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 @@
+Q4951112
@@ Property / cites work: Q4951112 / rank @@
+Normal rank
@@ Property / cites work @@
+On relating rewriting systems and graph grammars to event structures
+Normal rank
@@ Property / cites work @@
+Typed event structures and the linear \(\pi \)-calculus
+Normal rank
@@ Property / cites work @@
+Event Structure Semantics for Nominal Calculi
@@ Property / cites work: Event Structure Semantics for Nominal Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions
+Normal rank
@@ Property / cites work @@
+On Thin Air Reads Towards an Event Structures Model of Relaxed Memory
+Normal rank
@@ Property / cites work @@
+Process Mining Reloaded: Event Structures as a Unified Representation of Process Models and Event Logs
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Handbook of Graph Grammars and Computing by Graph Transformation
+Normal rank
@@ Property / cites work @@
+Q3030239
@@ Property / cites work: Q3030239 / rank @@
+Normal rank
@@ Property / cites work @@
+Event Structure Semantics of Parallel Extrusion in the Pi-Calculus
+Normal rank
@@ Property / cites work @@
+Modelling of Bonding with Processes and Events
@@ Property / cites work: Modelling of Bonding with Processes and Events / rank @@
+Normal rank
@@ Property / cites work @@
+Q3785984
@@ Property / cites work: Q3785984 / rank @@
+Normal rank
@@ Property / cites work @@
+Event structures and domains
@@ Property / cites work: Event structures and domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q5111212
@@ Property / cites work: Q5111212 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5875349
@@ Property / cites work: Q5875349 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCURRENT AUTOMATA AND DOMAINS
@@ Property / cites work: CONCURRENT AUTOMATA AND DOMAINS / rank @@
+Normal rank
@@ Property / cites work @@
+Q4857386
@@ Property / cites work: Q4857386 / rank @@
+Normal rank
@@ Property / cites work @@
+Models for concurrency: Towards a classification
@@ Property / cites work: Models for concurrency: Towards a classification / rank @@
+Normal rank
@@ Property / cites work @@
+Reversibility and Models for Concurrency
@@ Property / cites work: Reversibility and Models for Concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843177
@@ Property / cites work: Q4843177 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5144682
@@ Property / cites work: Q5144682 / rank @@
+Normal rank
@@ Property / cites work @@
+Concrete domains
@@ Property / cites work: Concrete domains / rank @@
+Normal rank
@@ Property / cites work @@
+Configuration structures, event structures and Petri nets
+Normal rank