Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures (Q6204129): Difference between revisions

@@ Property / cites work @@
+Controlled reversibility in reaction systems
@@ Property / cites work: Controlled reversibility in reaction systems / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic Causality in Event Structures
@@ Property / cites work: Dynamic Causality in Event Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Reduction of event structures under history preserving bisimulation
+Normal rank
@@ Property / cites work @@
+Contextual equivalences in configuration structures and reversibility
+Normal rank
@@ Property / cites work @@
+The connection between an event structure semantics and an operational semantics for TCSP
+Normal rank
@@ Property / cites work @@
+Formal translation from reversing Petri nets to coloured Petri nets
+Normal rank
@@ Property / cites work @@
+Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict
+Normal rank
@@ Property / cites work @@
+From event-oriented models to transition systems
@@ Property / cites work: From event-oriented models to transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Event Structure Semantics of Parallel Extrusion in the Pi-Calculus
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of Quantum Circuits vs. Synthesis of Classical Reversible Circuits
+Normal rank
@@ Property / cites work @@
+Reversing Steps in Petri Nets
@@ Property / cites work: Reversing Steps in Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Event structure semantics of (controlled) reversible CCS
+Normal rank
@@ Property / cites work @@
+An event structure semantics for general Petri nets
+Normal rank
@@ Property / cites work @@
+Reversibility in the higher-order \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Causal-consistent replay debugging for message passing programs
+Normal rank
@@ Property / cites work @@
+Transition systems from event structures revisited
+Normal rank
@@ Property / cites work @@
+Towards a formal account for software transactional memory
+Normal rank
@@ Property / cites work @@
+Reversible occurrence nets and causal reversible prime event structures
+Normal rank
@@ Property / cites work @@
+Reversibility and asymmetric conflict in event structures
+Normal rank
@@ Property / cites work @@
+A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
+Normal rank
@@ Property / cites work @@
+Reversing steps in membrane systems computations
@@ Property / cites work: Reversing steps in membrane systems computations / rank @@
+Normal rank
@@ Property / cites work @@
+Configuration structures, event structures and Petri nets
+Normal rank