A. W. Roscoe 0001 The Three Platonic Models of Divergence-Strict CSP. 23-49 2008 ICTAC https://doi.org/10.1007/978-3-540-85762-4_3 conf/ictac/2008 db/conf/ictac/ictac2008.html#Roscoe08