---

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 :  ses-protocol1: Protocol1(bss),  NSL-initiator1: NSL-initiator1{i:l}(s),  NSL-initiator2: NSL-initiator2{i:l}(s),  NSL-initiator3: NSL-initiator3,  NSL-responder0: NSL-responder0{i:l}(s),  NSL-responder1: NSL-responder1{i:l}(s),  NSL-responder2: NSL-responder2{i:l}(s),  cons: [car / cdr],  NSL-responder3: NSL-responder3,  nil: []
FDL editor aliases :  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])


Date html generated: 2010_08_28-AM-11_51_26
Last ObjectModification: 2010_02_23-AM-11_09_30

Home Index