Making the Unobservable, Unobservable (Q5166617): Difference between revisions

@@ Property / cites work @@
+On bisimulations for the asynchronous \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+The chemical abstract machine
@@ Property / cites work: The chemical abstract machine / rank @@
+Normal rank
@@ Property / cites work @@
+On reduction-based process semantics
@@ Property / cites work: On reduction-based process semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536606
@@ Property / cites work: Q4536606 / 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 @@
+Barbed bisimulation
@@ Property / cites work: Barbed bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4018066
@@ Property / cites work: Q4018066 / rank @@
+Normal rank
@@ Property / cites work @@
+Deriving Structural Labelled Transitions for Mobile Ambients
+Normal rank
@@ Property / cites work @@
+Q4457841
@@ Property / cites work: Q4457841 / rank @@
+Normal rank
@@ Property / cites work @@
+Locating reaction with 2-categories
@@ Property / cites work: Locating reaction with 2-categories / rank @@
+Normal rank
@@ Property / cites work @@
+From rewrite rules to bisimulation congruences
@@ Property / cites work: From rewrite rules to bisimulation congruences / rank @@
+Normal rank