Modeling concurrency with geometry (1991)

by V Pratt
Venue:In Proceedings of the eighteenth annual symposium on Principles Of Programming Languages