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,
}











