Nuprl Definition : memory-class4

memory-class4(init;tr1;X1;tr2;X2;tr3;X3;tr4;X4) ==
  loop-class-memory((tr1 X1) || (tr2 X2) || (tr3 X3) || (tr4 X4);λloc.{init loc})



Definitions occuring in Statement :  loop-class-memory: loop-class-memory(X;init) parallel-class: || Y eclass1: (f X) apply: a lambda: λx.A[x] single-bag: {x}
FDL editor aliases :  memory-class4

Latex:
memory-class4(init;tr1;X1;tr2;X2;tr3;X3;tr4;X4)  ==
    loop-class-memory((tr1  o  X1)  ||  (tr2  o  X2)  ||  (tr3  o  X3)  ||  (tr4  o  X4);\mlambda{}loc.\{init  loc\})



Date html generated: 2016_05_16-PM-11_46_36
Last ObjectModification: 2012_10_10-PM-05_44_53

Theory : event-ordering


Home Index