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

Latex:
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: 2016_05_16-AM-11_44_58 Last ObjectModification: 2012_02_25-AM-11_39_00 Theory : event-ordering Home Index