null-process() == stateless-process(m.[])
Wellformedness Lemmas :
null-process_wf
Definitions :
stateless-process: stateless-process(m.f[m]),
nil: []
FDL editor aliases :
null-process
null-process
null-process() == stateless-process(m.[])
Date html generated:
2010_08_27-PM-08_33_47
Last ObjectModification:
2010_02_01-PM-01_27_19
Home
Index