Nuprl Definition : process-equiv
P≡Q == ∀msgs:pMsg(P.M[P]) List. (Process-stream(P;msgs) = Process-stream(Q;msgs) ∈ (pExt(P.M[P]) List))
Definitions occuring in Statement :
Process-stream: Process-stream(P;msgs),
pExt: pExt(P.M[P]),
pMsg: pMsg(P.M[P]),
list: T List,
all: ∀x:A. B[x],
equal: s = t ∈ T
FDL editor aliases :
process-equiv
Latex:
P\mequiv{}Q == \mforall{}msgs:pMsg(P.M[P]) List. (Process-stream(P;msgs) = Process-stream(Q;msgs))
Date html generated:
2015_07_23-AM-11_07_25
Last ObjectModification:
2012_02_25-PM-03_38_07
Home
Index