---

consensus-ts4(V;A;W) ==
  <ConsensusState
  , a.<-1, >
  , x,y.CR[x,y]
  , x.v:V. a:{a:Id| (a  A)} . ((Inning(x;a) = 0)  (Estimate(x;a) = 0 : v))>

---

Definitions :  consensus-state4: ConsensusState,  minus: -n,  fpf-empty: ,  pair: <a, b>,  consensus-rel: CR[x,y],  lambda: x.A[x],  exists: x:A. B[x],  all: x:A. B[x],  set: {x:A| B[x]} ,  l_member: (x  l),  Id: Id,  and: P  Q,  cs-inning: Inning(s;a),  equal: s = t,  fpf: a:A fp-> B[a],  int: ,  cs-estimate: Estimate(s;a),  fpf-single: x : v,  natural_number: $n
FDL editor aliases :  consensus-ts4

---

consensus-ts4(V;A;W)  ==
    <ConsensusState
    ,  \mlambda{}a.<-1,  \motimes{}>
    ,  \mlambda{}x,y.CR[x,y]
    ,  \mlambda{}x.\mexists{}v:V.  \mforall{}a:\{a:Id|  (a  \mmember{}  A)\}  .  ((Inning(x;a)  =  0)  \mwedge{}  (Estimate(x;a)  =  0  :  v))>


Date html generated: 2010_08_27-AM-12_48_35
Last ObjectModification: 2009_12_23-PM-03_24_35

Home Index