Van Nguyen, Alan J. Demers, David Gries, Susan S. Owicki. A Model and Temporal Proof System for Networks of Processes. Distributed Computing, 1(1):7-25, 1986.
@article{NguyenDGO86,
title = {A Model and Temporal Proof System for Networks of Processes},
author = {Van Nguyen and Alan J. Demers and David Gries and Susan S. Owicki},
year = {1986},
tags = {modeling, process modeling},
researchr = {https://researchr.org/publication/NguyenDGO86},
cites = {0},
citedby = {0},
journal = {Distributed Computing},
volume = {1},
number = {1},
pages = {7-25},
}