by Hee, K.M. van and Sidorova, N.
Reference:
Construction of asynchronous communicating systems: weak termination guaranteed! (Hee, K.M. van and Sidorova, N.), In Proceedings of the 9th International Conference on Software Composition (SC 2010) (Baudry, B., Wohlstadter, E., eds.), Springer, Berlin, volume 6144, 2010.
Bibtex Entry:
@inproceedings{constrasync,
  author = {Hee, {K.M. van} and Sidorova, {N.} and Werf, {J.M.E.M. van der}},
  year = {2010},
  title = {Construction of asynchronous communicating systems: weak termination guaranteed!},
  editor = {Baudry, {B.} and Wohlstadter, {E.}},
  booktitle = {Proceedings of the 9th International Conference on Software Composition (SC 2010)},
  series = {Lecture Notes in Computer Science},
  volume = {6144},
  pages = {106--121},
  publisher = {Springer, Berlin}
}

Construction of asynchronous communicating systems: weak termination guaranteed!