---

P

Q ==
  msgs:pMsg(P.M[P]) List. (Process-stream(P;msgs) = Process-stream(Q;msgs))

---

Definitions :  Process-stream: Process-stream(P;msgs),  pExt: pExt(P.M[P]),  list: type List,  equal: s = t,  pMsg: pMsg(P.M[P]),  all: x:A. B[x]
FDL editor aliases :  process-equiv

---

P\mequiv{}Q  ==    \mforall{}msgs:pMsg(P.M[P])  List.  (Process-stream(P;msgs)  =  Process-stream(Q;msgs))


Date html generated: 2010_08_27-PM-03_49_45
Last ObjectModification: 2010_06_30-PM-07_17_30

Home Index