A CSP model with flexible parallel termination semantics

Paul Howells, Mark d Inverno. A CSP model with flexible parallel termination semantics. Formal Asp. Comput., 21(5):421-449, 2009. [doi]

Abstract

Abstract is missing.