16 citations · 55 across the 11 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…