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

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2009.06.043
+Normal rank
@@ Property / OpenAlex ID @@
+W2165701218
@@ Property / OpenAlex ID: W2165701218 / rank @@
+Normal rank
@@ 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