---

cs-events-to-state(A; s) ==
  <a.let i,est,knw = consensus-accum-state(A;s a) in 
      <i, est>
  , a.let i,est,knw = consensus-accum-state(A;s a) in 
       knw
  >

---

Definitions :  pair: <a, b>,  lambda: x.A[x],  spreadn: spread3,  consensus-accum-state: consensus-accum-state(A;L),  apply: f a

---

cs-events-to-state(A;  s)  ==
    <\mlambda{}a.let  i,est,knw  =  consensus-accum-state(A;s  a)  in 
            <i,  est>
    ,  \mlambda{}a.let  i,est,knw  =  consensus-accum-state(A;s  a)  in 
              knw
    >


Date html generated: 2010_08_27-AM-12_55_32
Last ObjectModification: 2009_12_23-PM-03_30_55

Home Index