8 citations · 8 across the 2 of their papers we have counts for
1 paper · 1 filter
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…