Nuprl Definition : rsc2_main
rsc2_main(Cmd;clients;cmdeq;flrs;locs) == rsc2_Replica(Cmd;clients;cmdeq;flrs;locs)@locs
Definitions occuring in Statement :
rsc2_Replica: rsc2_Replica(Cmd;clients;cmdeq;flrs;locs),
class-at: X@locs
FDL editor aliases :
rsc2_main
rsc2\_main(Cmd;clients;cmdeq;flrs;locs) == rsc2\_Replica(Cmd;clients;cmdeq;flrs;locs)@locs
Date html generated:
2012_02_20-PM-04_44_35
Last ObjectModification:
2012_02_02-PM-02_06_49
Home
Index