1. Brookes, S.D., Rounds, W.C.: Possible futures, acceptances, refusals, and communicating processes. In: Foundations of Computer Science, 1981, SFCS’81 (1981)
2. Fournet, C., Hoare, C.A.R., Rajamani, S.K., Rehof, J.: Stuck-free conformance. In: CAV (2004)
3. Mukkaram, A.: A refusal testing model for CSP. Oxford University D.Phil. Thesis (1993)
4. Olderog, E.R., Hoare, C.A.R.: Specification-oriented semantics for communicating processes. Acta Inform. 23, 9–66 (1986)
5. Phillips, I.: Refusal testing. Theor. Comput. Sci. 50, 241–284 (1987)