Etiquette - a protocol construction tool

Etiquette is an interaction protocols construction tool. Etiuqette allows to describe communication in high-level and textually condensed fashion. Built-in support for debugging and error-handling policies is provided. Etiquette is written in Common Lisp.