boot-process(f;n) ==
RecProcess(inr 
;s,m.case s
of inl(P) => let Q,e = P m in
<inl Q , e>
| inr(x) => case f m of inl(P) => <inl P , n> | inr(x) => <s, n>)
Definitions :
rec-process: RecProcess(s0;s,m.next[s; m]),
inr: inr x ,
it: ,
spread: spread def,
decide: case b of inl(x) => s[x] | inr(y) => t[y],
apply: f a,
inl: inl x ,
pair: <a, b>
FDL editor aliases :
boot-process
boot-process(f;n) ==
RecProcess(inr \mcdot{} ;s,m.case s
of inl(P) => let Q,e = P m in
<inl Q , e>
| inr(x) => case f m of inl(P) => <inl P , n> | inr(x) => <s, n>)
Date html generated:
2010_08_27-AM-12_26_01
Last ObjectModification:
2010_04_09-PM-04_26_39
Home
Index