---

processComm(l_comm;l_choose) ==
  RecProcess(<
  , []
  , l_comm
  , ff
  , 0>;cSt,piD.if pDVguards?(piD) then Comm-next-guards(l_comm;piD;cSt)
  if pDVselex?(piD) then Comm-next-selex(l_comm;piD;cSt)
  if pDVcontinue?(piD) then Comm-next-continue(l_comm;l_choose;piD;cSt)
  else <cSt, make-lg([])>
  fi )

---

Definitions :  rec-process: RecProcess(s0;s,m.next[s; m]),  fpf-empty: ,  bfalse: ff,  natural_number: $n,  pDVguards?: pDVguards?(x),  Comm-next-guards: Comm-next-guards(l_comm;piD;cSt),  pDVselex?: pDVselex?(x),  Comm-next-selex: Comm-next-selex(l_comm;piD;cSt),  ifthenelse: if b then t else f fi ,  pDVcontinue?: pDVcontinue?(x),  Comm-next-continue: Comm-next-continue(l_comm;l_choose;piD;cSt),  pair: <a, b>,  make-lg: make-lg(L),  nil: []
FDL editor aliases :  processComm

---

processComm(l$_{comm}$;l$_{choose}$)  ==
    RecProcess(<\motimes{},  [],  l$_{comm}$,  ff,  0>cSt,piD.if  pDVguards?(piD)  then  Comm-nex\000C
t-guards(l$_{comm}$;piD;cSt)
    if  pDVselex?(piD)  then  Comm-next-selex(l$_{comm}$;piD;cSt)
    if  pDVcontinue?(piD)  then  Comm-next-continue(l$_{comm}$;l$_{choose\000C
}$;piD;cSt)
    else  <cSt,  make-lg([])>
    fi  )


Date html generated: 2010_08_27-PM-09_42_29
Last ObjectModification: 2010_04_27-PM-03_54_33

Home Index