The Three Platonic Models of Divergence-Strict CSP.

A. W. Roscoe

Browse the full ICTAC paper archive.