Nuprl Definition : mu_ex_v4_CS

mu_ex_v4_CS() ==
  s,l.{mu_ex_v4_send_exec() s l}@|Loc, mu_ex_v4_EnterCS()| || z,l.
                                                                {mu_ex_v4_send_leave_cs() l }@|Loc, mu_ex_v4_Exec()|


Definitions occuring in Statement :  mu_ex_v4_send_exec: mu_ex_v4_send_exec(),  mu_ex_v4_Exec: mu_ex_v4_Exec(),  mu_ex_v4_EnterCS: mu_ex_v4_EnterCS(),  mu_ex_v4_send_leave_cs: mu_ex_v4_send_leave_cs(),  concat-lifting-loc-1: f@,  simple-loc-comb-1: F|Loc, X|,  parallel-class: X || Y,  it: ,  apply: f a,  lambda: x.A[x],  single-bag: {x}
FDL editor aliases :  mu_ex_v4_CS
mu\_ex\_v4\_CS()  ==
    \mlambda{}s,l.\{mu\_ex\_v4\_send\_exec()  s  l\}@|Loc,  mu\_ex\_v4\_EnterCS()|  ||  \mlambda{}z,l.
                                                                                                                                \{mu\_ex\_v4\_send\_leave\_cs()  l 
                                                                                                                                  \mcdot{}\}@|Loc,  mu\_ex\_v4\_Exec()|


Date html generated: 2012_02_20-PM-06_33_27
Last ObjectModification: 2012_02_02-PM-02_54_25

Home Index