Eugene W. Stark
Concurrent Transition System Semantics of Process Networks
POPL, 1987.
@inproceedings{POPL-1987-Stark, author = "Eugene W. Stark", booktitle = "{Conference Record of the 14th Annual Symposium on Principles of Programming Languages}", doi = "10.1145/41625.41643", isbn = "0-89791-215-2", pages = "199--210", publisher = "{ACM Press}", title = "{Concurrent Transition System Semantics of Process Networks}", year = 1987, }