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