Responsiveness and stable revivals
Reed, J. N., Roscoe, A. W. and Sinclair, J. E.. (2007) Responsiveness and stable revivals. Formal Aspects of Computing, Vol.19 (No.3). pp. 303-319. ISSN 0934-5043Full text not available from this repository.
Official URL: http://dx.doi.org/10.1007/s00165-007-0032-9
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 > Computer Science|
|Journal or Publication Title:||Formal Aspects of Computing|
|Number of Pages:||17|
|Page Range:||pp. 303-319|
|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|
Actions (login required)