@Inproceedings{EPTCS60.2, author = {Kokash, Natallia and Arbab, Farhad and Changizi, Behnaz and Makhnist, Leonid}, year = {2011}, title = {Input-output Conformance Testing for Channel-based Service Connectors}, editor = {Aceto, Luca and Mousavi, Mohammad Reza}, booktitle = {{\rm Proceedings First International Workshop on} Process Algebra and Coordination, {\rm Reykjavik, Iceland, 9th June 2011}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {60}, publisher = {Open Publishing Association}, pages = {19-35}, doi = {10.4204/EPTCS.60.2}, }