@misc{indiciae7722fc3018d0,
  title = {Input-output Conformance Testing for Channel-based Service Connectors},
  author = {Natallia Kokash and Farhad Arbab and Behnaz Changizi and Leonid Makhnist},
  year = {2011},
  doi = {10.4204/eptcs.60.2},
  url = {https://arxiv.org/abs/1108.1862},
  note = {Source identifier: 1108.1862}
}