Nuprl Definition : forkable-process
forkable-process(f;g;P) == recprocess(P;s,m.s m;e,m,Q.if f m then g Q else e fi )
Definitions occuring in Statement :
recprocess: recprocess(s0;s,m.next[s; m];e,m,p.ext[e; m; p]),
ifthenelse: if b then t else f fi ,
apply: f a
FDL editor aliases :
forkable-process
forkable-process(f;g;P) == recprocess(P;s,m.s m;e,m,Q.if f m then g Q else e fi )
Date html generated:
2015_07_17-AM-11_20_36
Last ObjectModification:
2012_02_25-AM-11_39_00
Home
Index