CR-protocol ==
Protocol1([CR-initiator1{i:l}(s);
CR-initiator2{i:l}(s);
CR-initiator3;
CR-responder1{i:l}(s); CR-responder2{i:l}(s); CR-responder3])
Definitions :
ses-protocol1: Protocol1(bss),
CR-initiator1: CR-initiator1{i:l}(s),
CR-initiator2: CR-initiator2{i:l}(s),
CR-initiator3: CR-initiator3,
CR-responder1: CR-responder1{i:l}(s),
CR-responder2: CR-responder2{i:l}(s),
cons: [car / cdr],
CR-responder3: CR-responder3,
nil: []
FDL editor aliases :
CR-protocol
CR-protocol ==
Protocol1([CR-initiator1\{i:l\}(s);
CR-initiator2\{i:l\}(s);
CR-initiator3; CR-responder1\{i:l\}(s); CR-responder2\{i:l\}(s); CR-responder3])
Date html generated:
2010_08_28-AM-11_47_41
Last ObjectModification:
2010_02_23-AM-11_08_28
Home
Index