A graph model of message passing processes
Logic in Computer Science
2017-06-02 v1 Distributed, Parallel, and Cluster Computing
Abstract
In the paper we consider a graph model of message passing processes and present a method verification of message passing processes. The method is illustrated by an example of a verification of sliding window protocol.
Cite
@article{arxiv.1706.00266,
title = {A graph model of message passing processes},
author = {Andrew M. Mironov},
journal= {arXiv preprint arXiv:1706.00266},
year = {2017}
}