
The Library
Responsiveness and stable revivals
Tools
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.
Official URL: http://dx.doi.org/10.1007/s00165-007-0032-9
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: |
|
||||
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 |
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 |