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

Definitions occuring in Statement : CR-responder3: CR-responder3, CR-responder2: CR-responder2{i:l}(s), CR-responder1: CR-responder1{i:l}(s), CR-initiator3: CR-initiator3, 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 : CR-protocol

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