Forward-Reverse Observational Equivalences in CCSK (Q5162606): Difference between revisions

@@ Property / cites work @@
+Contextual equivalences in configuration structures and reversibility
+Normal rank
@@ Property / cites work @@
+Q5089270
@@ Property / cites work: Q5089270 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4621150
@@ Property / cites work: Q4621150 / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible sessions with flexible choices
@@ Property / cites work: Reversible sessions with flexible choices / rank @@
+Normal rank
@@ Property / cites work @@
+A Compositional Semantics for the Reversible p-Calculus
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941914
@@ Property / cites work: Q4941914 / rank @@
+Normal rank
@@ Property / cites work @@
+Event structure semantics of (controlled) reversible CCS
+Normal rank
@@ Property / cites work @@
+On reduction-based process semantics
@@ Property / cites work: On reduction-based process semantics / rank @@
+Normal rank
@@ Property / cites work @@
+A Verification Technique for Reversible Process Algebra
+Normal rank
@@ Property / cites work @@
+Time, clocks, and the ordering of events in a distributed system
+Normal rank
@@ Property / cites work @@
+Irreversibility and Heat Generation in the Computing Process
+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 @@
+Reversibility in the higher-order \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Cauder: a causal-consistent reversible debugger for Erlang
+Normal rank
@@ Property / cites work @@
+A theory of reversibility for Erlang
@@ Property / cites work: A theory of reversibility for Erlang / rank @@
+Normal rank
@@ Property / cites work @@
+Q5129948
@@ Property / cites work: Q5129948 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / 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 @@
+A hierarchy of reverse bisimulations on stable configuration structures
+Normal rank
@@ Property / cites work @@
+Event Identifier Logic
@@ Property / cites work: Event Identifier Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
+Normal rank
@@ Property / cites work @@
+Q4791841
@@ Property / cites work: Q4791841 / rank @@
+Normal rank