Nuprl Definition : runEO

runEO(n2m;l2m;env;S) ==  EO(pRun(S;env;n2m;l2m))


Definitions occuring in Statement :  run-eo: EO(r),  pRun: pRun(S0;env;nat2msg;loc2msg)
FDL editor aliases :  runEO
Latex:
runEO(n2m;l2m;env;S)  ==    EO(pRun(S;env;n2m;l2m))


Date html generated: 2016_05_17-AM-10_51_43
Last ObjectModification: 2012_02_25-PM-03_44_18

Theory : process-model


Home Index