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. 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
Official Date: August 2007
Dates:
DateEvent
August 2007UNSPECIFIED
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 or add full text files to a record

Actions (login required)

View Item View Item