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

Research output not available from this repository, contact author.

Request Changes to record.

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

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