Nuprl Definition : base-process-class

The base-process-class does (at any location) what class X does
at location loc in the event ordering with only the events
in the base-process-inputs(loc;hdr;es;e)⋅

base-process-class(X;loc;hdr) ==
  λes,e. if test-msg-header-and-loc(info(e);hdr;loc)
        then let Infos = base-process-inputs(loc;hdr;es;e) in
                 X list-eo(Infos;loc) (||Infos|| - 1)
        else {}
        fi

Definitions occuring in Statement : base-process-inputs: base-process-inputs(loc;hdr;es;e), test-msg-header-and-loc: test-msg-header-and-loc(msg;hdr;loc), list-eo: list-eo(L;i), es-info: info(e), length: ||as||, ifthenelse: if b then t else f fi , let: let, apply: f a, lambda: λx.A[x], subtract: n - m, natural_number: $n, empty-bag: {}
FDL editor aliases : base-process-class

Latex:
base-process-class(X;loc;hdr) == \mlambda{}es,e. if test-msg-header-and-loc(info(e);hdr;loc) then let Infos = base-process-inputs(loc;hdr;es;e) in X list-eo(Infos;loc) (||Infos|| - 1) else \{\} fi Date html generated: 2015_07_21-PM-04_49_38 Last ObjectModification: 2014_08_06-PM-06_58_38 Home Index