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), In Proceedings of the International Workshop on Petri Nets and Software Engineering (Duvigneau, M., Moldt, D., Hiraishi, K., eds.), CEUR-WS, volume 723, 2011.
Bibtex Entry:
@inproceedings{cfpciwt,
  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},
  editor = {Duvigneau, {M.} and Moldt, {D.} and Hiraishi, {K.}},
  booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering},
  pages = {152 -- 166},
  volume = {723},
  publisher = {CEUR-WS},
  year = {2011},
}

A Component Framework where Port Compatibility Implies Weak Termination