Genericity and the \(\pi\)-calculus (Q2576663): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00236-005-0175-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2065261520
@@ Property / OpenAlex ID: W2065261520 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal parametric polymorphism
@@ Property / cites work: Formal parametric polymorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Computational interpretations of linear logic
@@ Property / cites work: Computational interpretations of linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417848
@@ Property / cites work: Q4417848 / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction for PCF
@@ Property / cites work: Full abstraction for PCF / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536349
@@ Property / cites work: Q4536349 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753670
@@ Property / cites work: Q2753670 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3728878
@@ Property / cites work: Q3728878 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778815
@@ Property / cites work: Q2778815 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417854
@@ Property / cites work: Q4417854 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Game-theoretic analysis of call-by-value computation
+Normal rank
@@ Property / cites work @@
+A uniform type structure for secure information flow
+Normal rank
@@ Property / cites work @@
+Strong normalisation in the \(\pi\)-calculus
@@ Property / cites work: Strong normalisation in the \(\pi\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+On full abstraction for PCF: I, II and III
@@ Property / cites work: On full abstraction for PCF: I, II and III / rank @@
+Normal rank
@@ Property / cites work @@
+Imperative objects as mobile processes
@@ Property / cites work: Imperative objects as mobile processes / rank @@
+Normal rank
@@ Property / cites work @@
+On model checking data-independent systems with arrays without reset
+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. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q4016557
@@ Property / cites work: Q4016557 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778832
@@ Property / cites work: Q2778832 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837262
@@ Property / cites work: Q3837262 / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioral equivalence in the polymorphic pi-calculus
+Normal rank
@@ Property / cites work @@
+Parametric polymorphism and operational equivalence
+Normal rank
@@ Property / cites work @@
+Q2704328
@@ Property / cites work: Q2704328 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738241
@@ Property / cites work: Q4738241 / rank @@
+Normal rank