forkable-process(f;g;P) ==
recprocess(P;s,m.s m;e,m,Q.if f m then g Q else e fi )
Definitions :
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:
2010_08_27-AM-12_26_14
Last ObjectModification:
2010_04_09-PM-07_37_02
Home
Index