Models for CSP with availability information

Gavin Lowe. Models for CSP with availability information. Mathematical Structures in Computer Science, 26(6):1022-1053, 2016. [doi]

Abstract

Abstract is missing.