Event structure semantics of (controlled) reversible CCS (Q5918352): Difference between revisions

@@ Property / cites work @@
+Contextual equivalences in configuration structures and reversibility
+Normal rank
@@ Property / cites work @@
+Q3575369
@@ Property / cites work: Q3575369 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733397
@@ Property / cites work: Q4733397 / rank @@
+Normal rank
@@ Property / cites work @@
+Strategies as concurrent processes
@@ Property / cites work: Strategies as concurrent processes / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel product of event structures
@@ Property / cites work: Parallel product of event structures / rank @@
+Normal rank
@@ Property / cites work @@
+Event Structure Semantics of Parallel Extrusion in the Pi-Calculus
+Normal rank
@@ Property / cites work @@
+A Compositional Semantics for the Reversible p-Calculus
+Normal rank
@@ Property / cites work @@
+Rigid Families for the Reversible $$\pi $$ -Calculus
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Bundle event structures: a revised cpo approach.
@@ Property / cites work: Bundle event structures: a revised cpo approach. / rank @@
+Normal rank
@@ Property / cites work @@
+Causal-consistent rollback in a tuple-based language
+Normal rank
@@ Property / cites work @@
+Event structure semantics of (controlled) reversible CCS
+Normal rank
@@ Property / cites work @@
+Towards a categorical representation of reversible event structures
+Normal rank
@@ Property / cites work @@
+Static versus dynamic reversibility in CCS
@@ Property / cites work: Static versus dynamic reversibility in CCS / rank @@
+Normal rank
@@ Property / cites work @@
+Controlling Reversibility in Higher-Order Pi
@@ Property / cites work: Controlling Reversibility in Higher-Order Pi / rank @@
+Normal rank
@@ Property / cites work @@
+Reversing Higher-Order Pi
@@ Property / cites work: Reversing Higher-Order Pi / rank @@
+Normal rank
@@ Property / cites work @@
+Q4967172
@@ Property / cites work: Q4967172 / rank @@
+Normal rank
@@ Property / cites work @@
+Cauder: a causal-consistent reversible debugger for Erlang
+Normal rank
@@ Property / cites work @@
+Static VS Dynamic Reversibility in CCS
@@ Property / cites work: Static VS Dynamic Reversibility in CCS / rank @@
+Normal rank
@@ Property / cites work @@
+Q3851636
@@ Property / cites work: Q3851636 / 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 @@
+Reversing algebraic process calculi
@@ Property / cites work: Reversing algebraic process calculi / rank @@
+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 @@
+Modelling of Bonding with Processes and Events
@@ Property / cites work: Modelling of Bonding with Processes and Events / rank @@
+Normal rank
@@ Property / cites work @@
+Q3667958
@@ Property / cites work: Q3667958 / rank @@
+Normal rank