Modeling concurrency with geometry (1991)

by V Pratt
Venue:Proc. of the 18th ACM Symposium on Principles of Programming Languages