8 citations · 22 across the 6 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…