Specifying termination in CSP

Paul Howells, Mark d'Inverno. Specifying termination in CSP. Theoretical Computer Science, 503:31-60, 2013. [doi]

Abstract

Abstract is missing.