3 citations · 9 across the 5 of their papers we have counts for
1 paper · 1 filter
Frank S. de Boer, Einar Broch Johnsen, Violet Ka I Pun +1
The overall problem addressed in this paper is the long-standing problem of program correctness, and in particular programs that describe systems of parallel executing processes. W…