Nuprl Definition : deliver-msg-to-comp

deliver-msg-to-comp(t;m;x;S;C) ==
  let Cs,L = S 
  in let z,P = C 
     in if z = x then let Q,ext = Process-apply(P;m) in <[<z, Q> / Cs], lg-append(L;add-cause(<t, x>;ext))> else <[C / C\000Cs], L> fi 


Definitions occuring in Statement :  add-cause: add-cause(ev;ext),  Process-apply: Process-apply(P;m),  lg-append: lg-append(g1;g2),  eq_id: a = b,  cons: [a / b],  ifthenelse: if b then t else f fi ,  spread: spread def,  pair: <a, b>
FDL editor aliases :  deliver-msg-to-comp
Latex:
deliver-msg-to-comp(t;m;x;S;C)  ==
    let  Cs,L  =  S 
    in  let  z,P  =  C 
          in  if  z  =  x
                then  let  Q,ext  =  Process-apply(P;m) 
                          in  <[<z,  Q>  /  Cs],  lg-append(L;add-cause(<t,  x>ext))>
                else  <[C  /  Cs],  L>
                fi 


Date html generated: 2016_05_17-AM-10_37_52
Last ObjectModification: 2012_02_25-PM-03_39_21

Theory : process-model


Home Index