Semantics for concurrency without powerdomains

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

10.1145/41625.41644 ◽

1987 ◽

Cited By ~ 4

Author(s):

F. J. Oles

Download Full-text