Nuprl Definition : Comm-output
Comm-output() == Comm-state() × LabeledDAG(Id × "msg"×PiDataVal())
Definitions occuring in Statement :
Comm-state: Comm-state(),
PiDataVal: PiDataVal(),
ldag: LabeledDAG(T),
Id: Id,
product: x:A × B[x],
token: "$token",
tag-by: z×T
FDL editor aliases :
Comm-output
Latex:
Comm-output() == Comm-state() \mtimes{} LabeledDAG(Id \mtimes{} "msg"\mtimes{}PiDataVal())
Date html generated:
2015_07_23-AM-11_58_10
Last ObjectModification:
2012_08_30-PM-01_48_37
Home
Index