328 citations · 355 across the 4 of their papers we have counts for
1 paper · 1 filter
Martín Abadi, Bruno Blanchet, Cédric Fournet
We study the interaction of the programming construct "new", which generates statically scoped names, with communication via messages on channels. This interaction is crucial in se…