Paul Gastin, Michael W. Mislove
A Truly Concurrent Semantics for a Simple Parallel Programming Language
CSL, 1999.
@inproceedings{CSL-1999-GastinM, author = "Paul Gastin and Michael W. Mislove", booktitle = "{Proceedings of the 13th International Workshop on Computer Science Logic / Eighth Annual Conference of the EACSL}", doi = "10.1007/3-540-48168-0_36", isbn = "3-540-66536-6", pages = "515--529", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{A Truly Concurrent Semantics for a Simple Parallel Programming Language}", volume = 1683, year = 1999, }