Frank J. Oles
Semantics for Concurrency without Powerdomains
POPL, 1987.
@inproceedings{POPL-1987-Oles, author = "Frank J. Oles", booktitle = "{Conference Record of the 14th Annual Symposium on Principles of Programming Languages}", doi = "10.1145/41625.41644", isbn = "0-89791-215-2", pages = "211--222", publisher = "{ACM Press}", title = "{Semantics for Concurrency without Powerdomains}", year = 1987, }