A graph model of message passing processes

2017/06/01 by Andrew M. Mironov, Mironov, Andrew M.
Computer Science · #Distributed #Embedded Systems Design Techniques #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Parallel #Petri Nets in System Modeling #and Cluster Computing (cs.DC)

paper · pdf · doi:10.48550/arxiv.1706.00266

openalex publication_date 2017/06/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

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.

Related

• A new method of verification of security protocols
• Theory of processes
• Model Checking Communicating Processes: Run Graphs, Graph Grammars, and MSO
• A partial order view of message-passing communication models
• Using Graph Transformations and Graph Abstractions for Software Verification