Diagnosability under Weak Fairness
- Submitting institution
-
De Montfort University
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 11163
- Type
- D - Journal article
- DOI
-
10.1145/2832910
- Title of journal
- ACM Transactions on Embedded Computing Systems
- Article number
- 69
- First page
- -
- Volume
- 14
- Issue
- 4
- ISSN
- 1539-9087
- Open access status
- Out of scope for open access requirements
- Month of publication
- -
- Year of publication
- 2015
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
3
- Research group(s)
-
-
- Citation count
- 6
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This article is an extended version of a conference paper, published in IEEE International Conference on Application of Concurrency to System Design, where it was nominated for the best paper award. It has been used to verify information flow security inCloud Computing (10.1016/j.jisa.2016.03.002)
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -