Extending Pda Tips for UseError alertsCandidate conventions

Candidate conventions

This section provides possible conventions for protocol descriptions in Pda. Users are free, of course, to use their own choices to choose the notation used in a protocol description, as the examples in this manual demonstrate.
Last updated: July 17, 2006
Send comments and questions to ma@kestrel.edu, dusko@kestrel.edu. For more information, see also Dusko's homepage

Extending Pda Tips for UseError alertsCandidate conventions