Nächste Seite: Analyse eines Protokolls
Aufwärts: Spezifizierung eines Protokolls für
Vorherige Seite: Wortbausteine (Atoms)
Inhalt
Hier werden wieder die von oben bekannten Reduktionsregeln in folgender Form
angegeben:
rr1:e(X,d(X,Y)) => Y.
rr1:d(X,e(X,Y)) => Y.
2003-01-22