A CSP model with flexible parallel termination semantics

Howells, Paul and d'Inverno, Mark (2009) A CSP model with flexible parallel termination semantics. Formal Aspects of Computing, 21 (5). pp. 421-449. ISSN 0934-5043

Full text not available from this repository.
Official URL: http://dx.doi.org/10.1007/s00165-008-0098-z


In the original failure-divergence semantic model for Communicating Sequential Processes (CSP), the incomplete treatment of successful process termination, and in particular parallel termination, permitted unnatural 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.

Item Type: Article
Subjects: University of Westminster > Science and Technology > Electronics and Computer Science, School of (No longer in use)
Depositing User: Miss Nina Watts
Date Deposited: 19 Jan 2010 11:50
Last Modified: 19 Jan 2010 12:15
URI: http://westminsterresearch.wmin.ac.uk/id/eprint/7280

Actions (login required)

Edit Item (Repository staff only) Edit Item (Repository staff only)