Output details
11 - Computer Science and Informatics
Goldsmiths' College
Article title
A CSP model with flexible parallel termination semantics
Type
D - Journal article
Title of journal
Formal Aspects of Computing
Article number
-
Volume number
21
Issue number
5
First page of article
421
ISSN of journal
09345043
Year of publication
2009
Number of additional authors
1
Additional information
<10> A well-respected journal in formal methods; the paper was subject to a rigorous review process that led to significant improvements. It contains a complete treatment of successful process termination in CSP, particularly in terms of parallel termination in response to widely-recognised problems in the original semantics of Hoare’s CSP which permitted unnatural and undesired processes to appear. This paper presents a solution these original problems that is closer to the original semantic model of Hoare than the solutions propsed by Hoare, Brookes and Roscoe. Ours provides greater flexibility over the type of parallel termination semantics available in CSP.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
2
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
