Pda - The Protocol Derivation Assistant

Pda is a graphical editor and support tool for deriving protocols. These pages are under construction; some sections are incomplete, others are entirely missing, or in a very early construction phase. Partly this reflects the reality of a rapidly changing interface. Please do not hesitate to contact us to identify problems or inquire about unclear or incomplete documentation.

Note: This documentation is also available in pdf


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