messagepassing__doc
Draw diagrams to represent communication protocols
- Version:
- 1.2
- Copyright:
- Martin Vassor
- License:
- lppl1.3
- Packaged on:
- 12/19/2023 12:33:42
- Number of files:
- 3
- Size on disk:
- 301.47 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, …