by
Reference:
Compositional Verification of Asynchronously Communicating Systems (), In Formal Aspects of Component Software – 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers, Springer, volume 8997, 2015.
Bibtex Entry:
@inproceedings{Werf14,
	author    = {Werf, {J.M.E.M. van der}},
	title     = {Compositional Verification of Asynchronously Communicating Systems},
	booktitle = {Formal Aspects of Component Software - 11th International Symposium,
	{FACS} 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected
	Papers},
	pages     = {49--67},
	series    = {Lecture Notes in Computer Science},
	volume    = {8997},
	publisher = {Springer},
	year      = {2015},
	pdf       = {http://www.architecturemining.org/publications/Werf14.pdf}
}

Compositional Verification of Asynchronously Communicating Systems