---

sub-system(P.M[P];S1;S2) ==
  let Cs,G = S1 in
    let Cs',G' = S2 in
      Cs  Cs'  G  G'

---

Definitions :  pInTransit: pInTransit(P.M[P]),  lg-contains: g1  g2,  component: component(P.M[P]),  sublist: L1  L2,  and: P  Q,  spread: spread def
FDL editor aliases :  sub-system

---

sub-system(P.M[P];S1;S2)  ==    let  Cs,G  =  S1  in  let  Cs',G'  =  S2  in  Cs  \msubseteq{}  Cs'  \mwedge{}  G  \msubseteq{}  G'


Date html generated: 2010_08_27-PM-08_00_21
Last ObjectModification: 2010_07_01-PM-09_26_27

Home Index