54 citations · 98 across the 9 of their papers we have counts for
1 paper · 1 filter
Wen Kokke, J. Garrett Morris, Philip Wadler
Process calculi based in logic, such as πDILL and CP, provide a foundation for deadlock-free concurrent programming, but exclude non-determinism and races. HCP is a reformulation…