Modeling concurrency with geometry

Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '91 ◽

10.1145/99583.99625 ◽

1991 ◽

Cited By ~ 81

Author(s):

Vaughn Pratt

Download Full-text