---

Comm-waiting(cSt) ==  fst(snd(snd(snd(cSt))))

---

Definitions :  pi1: fst(t),  pi2: snd(t)
FDL editor aliases :  Comm-waiting

---

Comm-waiting(cSt)  ==    fst(snd(snd(snd(cSt))))


Date html generated: 2010_08_27-PM-09_37_46
Last ObjectModification: 2010_03_29-PM-12_36_41

Home Index