# MP net as Abstract Model of Communication for Message-passing Applications

## TL;DR

This paper introduces MP net, a formal model that visually represents communication structures in MPI parallel applications to help users verify and understand message-passing behaviors more effectively.

## Contribution

The paper presents MP net as a novel, comprehensible formal model for visualizing and analyzing communication in MPI applications, emphasizing its spatial aspects.

## Key findings

- MP net effectively visualizes MPI communication structures
- It helps users verify actual communication against intended design
- The model highlights spatial communication aspects in parallel applications

## Abstract

MP net is a formal model specifically designed for the field of parallel applications that use a message passing interface. The main idea is to use MP net as a comprehensible way of presenting the actual structure of communication within MPI applications. The goal is to provide users with the kind of feedback that can help them to check quickly whether or not the actual communication within their application corresponds to the intended one. This paper introduces MP net that focuses on the communication part of parallel applications and emphasizes its spatial character, which is rather hidden in sequential (textual) form.