Comm-output() == Comm-state() 
LabeledDAG(Id "msg"PiDataVal())
Definitions :
PiDataVal: PiDataVal(),
token: "$token",
tag-by: zT,
Id: Id,
product: x:A B[x],
ldag: LabeledDAG(T),
Comm-state: Comm-state()
FDL editor aliases :
Comm-output
Comm-output() == Comm-state() \mtimes{} LabeledDAG(Id \mtimes{} "msg"\mtimes{}PiDataVal())
Date html generated:
2010_08_27-PM-08_46_31
Last ObjectModification:
2010_07_15-AM-11_11_30
Home
Index