πI: A symmetric calculus based on internal mobility (Q5096730): Difference between revisions

@@ Property / cites work @@
+Algebra of communicating processes with abstraction
+Normal rank
@@ Property / cites work @@
+A fully abstract semantics for causality in the π-calculus
+Normal rank
@@ Property / cites work @@
+Q4282583
@@ Property / cites work: Q4282583 / rank @@
+Normal rank
@@ Property / cites work @@
+A \(\pi\)-calculus with explicit substitutions
@@ Property / cites work: A \(\pi\)-calculus with explicit substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Functions as processes
@@ Property / cites work: Functions as processes / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837262
@@ Property / cites work: Q3837262 / rank @@
+Normal rank