Nuprl Definition : NSL-protocol

NSL-protocol ==
  Protocol1([NSL-initiator1{i:l}(s);
             NSL-initiator2{i:l}(s);
             NSL-initiator3;
             NSL-responder0{i:l}(s);
             NSL-responder1{i:l}(s);
             NSL-responder2{i:l}(s);
             NSL-responder3])

Definitions occuring in Statement : NSL-responder1: NSL-responder1{i:l}(s), NSL-responder0: NSL-responder0{i:l}(s), NSL-responder2: NSL-responder2{i:l}(s), NSL-responder3: NSL-responder3, NSL-initiator3: NSL-initiator3, NSL-initiator2: NSL-initiator2{i:l}(s), NSL-initiator1: NSL-initiator1{i:l}(s), ses-protocol1: Protocol1(bss), cons: [a / b], nil: []
FDL editor aliases : NSL-protocol

Latex:
NSL-protocol == Protocol1([NSL-initiator1\{i:l\}(s); NSL-initiator2\{i:l\}(s); NSL-initiator3; NSL-responder0\{i:l\}(s); NSL-responder1\{i:l\}(s); NSL-responder2\{i:l\}(s); NSL-responder3]) Date html generated: 2015_07_23-PM-00_26_20 Last ObjectModification: 2012_08_30-PM-05_49_03 Home Index