Models for CSP with availability information. - LOWE, GAVIN (Mathematical Structures in Computer Science, 2016)