Nuprl Definition : RSC_main
RSC_main(Cmd;clients;cmdeq;flrs;locs) == RSC_Replica(Cmd;clients;cmdeq;flrs;locs)@locs
Definitions occuring in Statement :
RSC_Replica: RSC_Replica(Cmd;clients;cmdeq;flrs;locs),
class-at: X@locs
FDL editor aliases :
RSC_main
RSC\_main(Cmd;clients;cmdeq;flrs;locs) == RSC\_Replica(Cmd;clients;cmdeq;flrs;locs)@locs
Date html generated:
2012_02_20-PM-04_00_42
Last ObjectModification:
2012_02_02-PM-01_58_59
Home
Index