Ross Casley;Roger F. Crew;José Meseguer;Vaughan R. Pratt
-;-;-;-
Modeling concurrency with geometry
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages