5 citations · 6 across the 7 of their papers we have counts for
1 paper · 1 filter
Daniel Hirschkoff, Enguerrand Prebet
Locks are a classic data structure for concurrent programming. We introduce a type system to ensure that names of the asynchronous pi-calculus are used as locks. Our calculus also…