Nuprl Definition : nysiad_main-program
nysiad_main-program(M;actors;add2baghdr;addwaitinghdr;adeliverhdr;deqM;inputmsghdr;kdeliverhdr;readyhdr;senders;
tooarcasthdr;waitingmap;mf;msg2m;prX) ==
(...)@actors
Definitions occuring in Statement :
nysiad_OnReceiptMsg-program: nysiad_OnReceiptMsg-program(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;senders;...;mf),
nysiad_Replicas-program: nysiad_Replicas-program(actors;add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;...;mf;prX),
nysiad_MessageBag-program: nysiad_MessageBag-program(M;add2baghdr;addwaitinghdr;adeliverhdr;deqM;inputmsghdr;kdeliverhdr;...;...;...;...;mf;msg2m),
class-at-program: (pr)@locs,
parallel-class-program: X || Y
FDL editor aliases :
nysiad_main-program
Latex:
nysiad\_main-program(M;actors;add2baghdr;addwaitinghdr;adeliverhdr;deqM;inputmsghdr;kdeliverhdr;
readyhdr;senders;tooarcasthdr;waitingmap;mf;msg2m;prX) ==
(...)@actors
Date html generated:
2015_07_23-PM-03_48_21
Last ObjectModification:
2014_08_06-PM-03_36_38
Home
Index