A Distributed π-Calculus with Local Areas of Communication (Q4921499): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+On modelling mobility
@@ Property / cites work: On modelling mobility / rank @@
+Normal rank
@@ Property / cites work @@
+Q2906944
@@ Property / cites work: Q2906944 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4223018
@@ Property / cites work: Q4223018 / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed processes and location failures
@@ Property / cites work: Distributed processes and location failures / rank @@
+Normal rank
@@ Property / cites work @@
+Locality and interleaving semantics in calculi for mobile processes
+Normal rank
@@ Property / cites work @@
+The name discipline of uniform receptiveness (extended abstract)
+Normal rank
@@ Property / cites work @@
+Q4219047
@@ Property / cites work: Q4219047 / rank @@
+Normal rank