Reed, J. N., Roscoe, A. W. and Sinclair, Jane (2007) Responsiveness and stable revivals. Formal Aspects of Computing, Vol.19 (No.3). pp. 303-319. doi:10.1007/s00165-007-0032-9 ISSN 0934-5043.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Abstract
Individual components in an inter-operating system require assurance from other components both of appropriate functionality and of suitable responsiveness. We have developed properties which capture the notion of non-blocking responsive behaviour, together with machine-based checks implemented in the CSP model-checker, FDR. In this paper we illustrate the use of our responsiveness properties with a small example, and provide a detailed comparison to related work in CCS. This work has led to the discovery of a new semantic model for CSP with respect to which such properties are fully abstract. We present the new stable revivals model and discuss implications for responsiveness checking.
| Item Type: | Journal Article |
|---|---|
| Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software |
| Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science |
| Journal or Publication Title: | Formal Aspects of Computing |
| Publisher: | Springer |
| ISSN: | 0934-5043 |
| Official Date: | August 2007 |
| Dates: | Date Event August 2007 UNSPECIFIED |
| Volume: | Vol.19 |
| Number: | No.3 |
| Number of Pages: | 17 |
| Page Range: | pp. 303-319 |
| DOI: | 10.1007/s00165-007-0032-9 |
| Status: | Peer Reviewed |
| Publication Status: | Published |
| Access rights to Published version: | Restricted or Subscription Access |
| Title of Event: | 5th International Workshop on Automated Verification of Critical Systems (AVoCS 05) |
| Type of Event: | Other |
| Location of Event: | Univ Warwick, Coventry, England |
| Date(s) of Event: | September 12-13, 2005 |
| URI: | https://wrap.warwick.ac.uk/31520/ |
Data sourced from Thomson Reuters' Web of Knowledge
Request changes or add full text files to a record
Repository staff actions (login required)
 |
View Item |