---

simple consensus with
t= t
voters = voters
clients = clients ==
  comp-system(sc-compiled{i:l}(t;voters;clients))

---

Definitions :  comp-system: comp-system(cr),  sc-compiled: sc-compiled{i:l}(t;voters;clients)
FDL editor aliases :  sc-system

---

simple  consensus  with
t=  t
voters  =  voters
clients  =  clients  ==
    comp-system(sc-compiled\{i:l\}(t;voters;clients))


Date html generated: 2010_08_27-PM-08_32_15
Last ObjectModification: 2010_06_24-AM-11_16_17

Home Index