Responsiveness and stable revivals-Reference-Cited by-同舟云学术

Responsiveness and stable revivals

Published:2007-08 Issue:3 Volume:19 Page:303-319
ISSN:0934-5043
Container-title:Formal Aspects of Computing
language:en
Short-container-title:Form. Asp. Comput.

Author:

Reed J. N.¹,Roscoe A. W.²,Sinclair J. E.³

Affiliation:

1. Department of Information Technology, Armstrong Atlantic State University, Savannah, GA, USA

2. Computing Laboratory, University of Oxford, Oxford, UK

3. Department of Computer Science, University of Warwick, CV4 7AL, Coventry, UK

Abstract

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.

Publisher

Association for Computing Machinery (ACM)

Subject

Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/s00165-007-0032-9.pdf

Reference25 articles.

1. The B-Book

2. Abrial J-R Mussat L (1998) Introducing dynamic constraints in B. In: Bert D (ed) Proceedings of the 2nd International B Conference. Lecture Notes in Computer Science Springer LNCS 1393 pp 83–128

3. Amla N Allen E Namjoshi K Trefler R (2001) Assume-guarantee based compositional reasoning for synchronous timing diagrams. Lecture Notes in Computer Science Springer LNCS 2031 pp 465–479

4. Bolton C Lowe G (2003) On the automatic verification of non-standard measures of consistency. In: 6th International workshop on formal methods Dublin

5. Butler MJ (1992) A CSP approach to action systems. Oxford University Computing Laboratory DPhil thesis

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Deciding conformance for bounded responsiveness;Science of Computer Programming;2017-05

2. Trace- and failure-based semantics for responsiveness;Acta Informatica;2014-08-10

3. Unifying the Linear Time-Branching Time Spectrum of Process Semantics;Logical Methods in Computer Science;2013-06-27

4. Building a Simple Sequential Process;Texts in Computer Science;2010

5. Finite Observation Models;Texts in Computer Science;2010