Scott David Carson
-
The geometry of semaphore programs
ACM Transactions on Programming Languages and Systems (TOPLAS)