Revivals, stuckness and the hierarchy of CSP models

We give details of a new model for CSP introduced in response to work by Fournet et al [C. Fournet, C.A.R. Hoare, S.K. Rajamani and J. Rehof, Stuck-free conformance, Proceedings CAV 04, 16th International Conference on Computer Aided Verification, Boston, USA, July 2004.]. This is the stable revival...