A graph model of message passing processes
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2017
- DOI:
- 10.48550/arXiv.1706.00266
- arXiv:
- arXiv:1706.00266
- Bibcode:
- 2017arXiv170600266M
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Computer Science - Distributed;
- Parallel;
- and Cluster Computing