The Polymorphic Pi-Calculus: Theory and Implementation (1996)

by David N Turner
Venue:9801ρ(a))} {E(a) 7→ 99, {a 7→ (0, 1)}, νd νk !a(d, k).EK(a, d, k) ,K(a) 7→ 99, {a 7→ (1, 0)}, ?a(d, k).KE(a, d, k) , νk νd (EK(a, d, k) | KE(a, d, k)) 7→ 1, {ρ(d) 7→ 1, ρ(k) 7→ 1}, τρ(d).(E(a) | K(a)) + τρ(k).(E(a) | P ())} The