Output details
11 - Computer Science and Informatics
University of Westminster
Output title
Successful termination in timed CSP
Type
E - Conference contribution
DOI
-
Name of conference/published proceedings
Communicating Process Architectures 2013, 25 - 28 Aug 2013, Edinburgh Napier University, Edinburgh
Volume number
-
Issue number
-
First page of article
21
ISSN of proceedings
-
Year of publication
2013
Number of additional authors
1
Additional information
<10>Originality: This paper investigates how successful process termination is modelled in Reed and Roscoe’s Timed CSP models. It discusses the time issues, for example "stability", that affect the selection of termination axioms for Timed CSP. A candidate successful termination axiom is identified for each Timed CSP model.
Significance: The analysis of termination in the Timed CSP models provides new insight into how termination should be modelled in the different models.
Rigour: New termination axioms are presented for each of the Timed CSP semantic models. Results published in proceedings of a specialist peer-reviewed conference.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
-
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
