messagepassing__doc

Draw diagrams to represent communication protocols

Version:
1.0
Copyright:
Martin Vassor
License:
lppl1.3
Packaged on:
03/12/2022 21:11:20
Number of files:
2
Size on disk:
262.67 kB

This package provides an environment to easily draw diagrams to represent communication protocols using message passing among processes. Processes are represented as horizontal or vertical lines, and communications as arrows between lines. The package also provides multiple macros to decorate those diagrams, for instance to annotate the diagram, to add crashes to the processes, checkpoints, …