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, ...