52 citations · 73 across the 4 of their papers we have counts for
1 paper · 2 filters
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…