Nuprl Definition : 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)])

Definitions occuring in Statement : CR-responder4: CR-responder4{i:l}(s), CR-responder5: CR-responder5{i:l}(s), CR-responder6: CR-responder6{i:l}(s), CR-initiator4: CR-initiator4{i:l}(s), CR-initiator2: CR-initiator2{i:l}(s), CR-initiator1: CR-initiator1{i:l}(s), ses-protocol1: Protocol1(bss), cons: [a / b], nil: []
FDL editor aliases : CRX-protocol

Latex:
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: 2015_07_23-PM-00_24_20 Last ObjectModification: 2012_08_30-PM-05_47_46 Home Index