CRX-protocol{i:l}(s) ==
Protocol1([CR-initiator1{i:l}(s);
CR-initiator2{i:l}(s);
CR-initiator4{i:l}(s);
CR-responder4{i:l}(s);
CR-responder5{i:l}(s); CR-responder6{i:l}(s)])
Definitions :
ses-protocol1: Protocol1(bss),
CR-initiator1: CR-initiator1{i:l}(s),
CR-initiator2: CR-initiator2{i:l}(s),
CR-initiator4: CR-initiator4{i:l}(s),
CR-responder4: CR-responder4{i:l}(s),
CR-responder5: CR-responder5{i:l}(s),
cons: [car / cdr],
CR-responder6: CR-responder6{i:l}(s),
nil: []
FDL editor aliases :
CRX-protocol
CRX-protocol\{i:l\}(s) ==
Protocol1([CR-initiator1\{i:l\}(s);
CR-initiator2\{i:l\}(s);
CR-initiator4\{i:l\}(s);
CR-responder4\{i:l\}(s); CR-responder5\{i:l\}(s); CR-responder6\{i:l\}(s)])
Date html generated:
2010_08_28-AM-11_49_24
Last ObjectModification:
2010_03_20-PM-10_01_52
Home
Index