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-5043

Full text not available from this repository.

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 > Computer Science
Journal or Publication Title:	Formal Aspects of Computing
Publisher:	Springer
ISSN:	0934-5043
Date:	August 2007
Volume:	Vol.19
Number:	No.3
Number of Pages:	17
Page Range:	pp. 303-319
Identification Number:	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:	http://wrap.warwick.ac.uk/id/eprint/31520

Data sourced from Thomson Reuters' Web of Knowledge

Request changes to a record

Actions (login required)

View Item