A CSP model with flexible parallel termination semantics

Paul Howells (1) , Mark d'Inverno (2)

1 School of Informatics
2 Department of Computing, Goldsmiths

In the original semantic model for (CSP), the incomplete treatment of successful process termination, and in particular parallel termination, permitted processes to be defined. In response to these problems, a number of different solutions have been proposed by various authors since the original failure-divergence model was developed by Hoare, Brookes and Roscoe. This paper presents an alternative solution to this problem, which is both closer to the original semantic model and provides greater flexibility over the type of parallel termination semantics available in CSP.

Mots clés: Concurrency; CSP; Termination

Paul Howells, Mark d'Inverno. A CSP model with flexible parallel termination semantics. Formal Aspects of Computing, 2008, 21 (5), pp.421-449. ⟨10.1007/s00165-008-0098-z⟩. ⟨hal-00534918⟩