Van Nguyen, David Gries, Susan S. Owicki
A Model and Temporal Proof System for Networks of Processes
POPL, 1985.
@inproceedings{POPL-1985-NguyenGO,
author = "Van Nguyen and David Gries and Susan S. Owicki",
booktitle = "{Conference Record of the 12th Annual Symposium on Principles of Programming Languages}",
doi = "10.1145/318593.318624",
editor = "Mary S. Van Deusen and Zvi Galil and Brian K. Reid",
isbn = "0-89791-147-4",
pages = "121--131",
publisher = "{ACM Press}",
title = "{A Model and Temporal Proof System for Networks of Processes}",
year = 1985,
}