Draw diagrams to represent communication protocols
Description
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, ...
