Encoding Distributed Areas and Local Communication into the π-Calculus (Q4917086): Difference between revisions

@@ Property / cites work @@
+On bisimulations for the asynchronous \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Observing localities
@@ Property / cites work: Observing localities / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of processes with localities
@@ Property / cites work: A theory of processes with localities / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536614
@@ Property / cites work: Q4536614 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2906944
@@ Property / cites work: Q2906944 / rank @@
+Normal rank
@@ Property / cites work @@
+A Distributed π-Calculus with Local Areas of Communication
+Normal rank
@@ Property / cites work @@
+Q4536436
@@ Property / cites work: Q4536436 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4223018
@@ Property / cites work: Q4223018 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4508306
@@ Property / cites work: Q4508306 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioral equivalence in the polymorphic pi-calculus
+Normal rank
@@ Property / cites work @@
+Distributed processes and location failures
@@ Property / cites work: Distributed processes and location failures / rank @@
+Normal rank
@@ Property / cites work @@
+Internal mobility and agent-passing calculi
@@ Property / cites work: Internal mobility and agent-passing calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Locality and interleaving semantics in calculi for mobile processes
+Normal rank
@@ Property / cites work @@
+Q4219047
@@ Property / cites work: Q4219047 / rank @@
+Normal rank