13 citations · 52 across the 27 of their papers we have counts for
1 paper · 1 filter
Brijesh Dongol, Doug Goldson
This paper describes a logic of progress for concurrent programs. The logic is based on that of UNITY, molded to fit a sequential programming model. Integration of the two is achie…