S-Expr Plug-inTopUser ManualReference Manual

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.


Last updated: July 17, 2006
Send comments and questions to ma@kestrel.edu, dusko@kestrel.edu. For more information, see also Dusko's homepage

S-Expr Plug-inTopUser ManualReference Manual