Nuprl Definition : Command
Command() == Id 
Cid() PaxosOp()
Proof not projected
Definitions occuring in Statement :
PaxosOp: PaxosOp(),
Cid: Cid(),
Id: Id,
product: x:A B[x]
Definitions :
Id: Id,
product: x:A B[x],
Cid: Cid(),
PaxosOp: PaxosOp()
FDL editor aliases :
Command
Command() == Id \mtimes{} Cid() \mtimes{} PaxosOp()
Date html generated:
2011_10_20-PM-05_00_56
Last ObjectModification:
2011_05_10-PM-01_23_17
Home
Index