Nuprl Definition : OARcast

Nuprl Definition : OARcast_Sender

OARcast_Sender(M;deliverhdr;oarcasthdr;orderedhdr;orderers;orderhdr;mf) ==
  ((OARcast_on_oarcast_output(M;deliverhdr;oarcasthdr;orderedhdr;orderers;orderhdr;mf) o
   OARcast_oarcast'base(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;mf)) o
  OARcast_SenderState(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;mf))

Definitions occuring in Statement : OARcast_SenderState: OARcast_SenderState(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;mf), OARcast_on_oarcast_output: OARcast_on_oarcast_output(M;deliverhdr;oarcasthdr;orderedhdr;orderers;orderhdr;mf), OARcast_oarcast'base: OARcast_oarcast'base(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;mf), eclass2: (X o Y), eclass1: (f o X)
FDL editor aliases : OARcast_Sender

Latex:
OARcast\_Sender(M;deliverhdr;oarcasthdr;orderedhdr;orderers;orderhdr;mf) == ((OARcast\_on\_oarcast\_output(M;deliverhdr;oarcasthdr;orderedhdr;orderers;orderhdr;mf) o OARcast\_oarcast'base(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;mf)) o OARcast\_SenderState(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;mf)) Date html generated: 2015_07_23-PM-00_30_49 Last ObjectModification: 2014_08_20-PM-00_02_36 Home Index