The Pda Protocol Derivation LanguageProtocol InstantiationsWhere to use which grammar rules

Where to use which grammar rules

The following graphic depicts which grammar rules are to be used for which part of a graphical protocol definition in Pda:

No. Non-terminal symbol Description
1 ProtDecl Protocol declarations
2 AgentNameIdentifier Agent declarations
3 Terms Input/output terms of agents (optional)
4 AgentAction Local agent actions (might be empty)
5 SendReceive Send/Receive action specs (might be empty)

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

The Pda Protocol Derivation LanguageProtocol InstantiationsWhere to use which grammar rules