Christie Bolton Jim Davies A singleton failures semantics for Communicating Sequential Processes. 181-210 2006 18 Formal Asp. Comput. 2 http://dx.doi.org/10.1007/s00165-005-0081-x db/journals/fac/fac18.html#BoltonD06