Nuprl Definition : local-simulation-class

A local simulation of class X for a given (bag of) locs is the parallel
composition of the base-process-class for X at each of the locs.
The classrel lemma is: Error :local-simulation-classrel⋅

local-simulation-class(X;locs;hdr) == (||i∈locs.base-process-class(X;i;hdr))

Definitions occuring in Statement : base-process-class: base-process-class(X;loc;hdr), parallel-bag-class: (||a∈as.X[a])
FDL editor aliases : local-simulation-class

Latex:
local-simulation-class(X;locs;hdr) == (||i\mmember{}locs.base-process-class(X;i;hdr)) Date html generated: 2015_07_21-PM-04_49_42 Last ObjectModification: 2014_08_06-PM-07_05_08 Home Index