8 citations · 8 across the 1 of their papers we have counts for
1 paper
Martín Abadi, Gordon D. Plotkin
We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until they…