Scott D. Stoller, Fred B. Schneider. Verifying Programs That Use Causally-Ordered Message-Passing. Science of Computer Programming, 24(2):105-128, 1995.
@article{StollerS95:0,
title = {Verifying Programs That Use Causally-Ordered Message-Passing},
author = {Scott D. Stoller and Fred B. Schneider},
year = {1995},
tags = {program verification},
researchr = {https://researchr.org/publication/StollerS95%3A0},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {24},
number = {2},
pages = {105-128},
}