A CSP model with flexible parallel termination semantics

Paul Howells, Mark d'Inverno
2008 Formal Aspects of Computing  
doi:10.1007/s00165-008-0098-z fatcat:dw4iq67p3zeu5nllz2hoisxshy