by Bera, D. and Hee, K.M. van and Osch, M.P.W.J. van and Werf, J.M.E.M. van der
Reference:
A component framework where port compatibility implies weak termination (Bera, D. and Hee, K.M. van and Osch, M.P.W.J. van and Werf, J.M.E.M. van der), Technical report 11-08, Technische Universiteit Eindhoven, 2011.
Bibtex Entry:
@TECHREPORT{csr-11-08,
  AUTHOR =       {Bera, {D.} and Hee, {K.M. van} and Osch, {M.P.W.J. van} and Werf, {J.M.E.M. van der}},
  TITLE =        {A component framework where port compatibility implies weak termination},
  INSTITUTION =  {Technische Universiteit Eindhoven},
  YEAR =         {2011},
  type =         {Computer Science Report},
  number =       {11-08},
}

A component framework where port compatibility implies weak termination