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

@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-60249-6_43
+Normal rank
@@ Property / OpenAlex ID @@
+W2176500975
@@ Property / OpenAlex ID: W2176500975 / rank @@
+Normal rank
@@ 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