Peter E. Lauer, Roy H. Campbell. Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes. Acta Informatica, 5:297-332, 1975.
@article{LauerC75,
title = {Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes},
author = {Peter E. Lauer and Roy H. Campbell},
year = {1975},
tags = {semantics, formal semantics, e-science},
researchr = {https://researchr.org/publication/LauerC75},
cites = {0},
citedby = {0},
journal = {Acta Informatica},
volume = {5},
pages = {297-332},
}