From a concurrent λ-calculus to the π-calculus (Q5055881): Difference between revisions

@@ Property / cites work @@
+From a concurrent λ-calculus to the π-calculus
@@ Property / cites work: From a concurrent λ-calculus to the π-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038734
@@ Property / cites work: Q4038734 / 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 @@
+Barbed bisimulation
@@ Property / cites work: Barbed bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Plain CHOCS. A second generation calculus for higher order processes
+Normal rank