Reference Manual
This section presents a formal description of the language used in Pda for incremental protocol derivation. The language is both graphical and textual; the former addressing nodes & arrows for encapsulating protocol agents and actions; the latter to describe the local agent actions and the payload of send/receive actions.