A hierarchy of failures-based models: theory and application
Consistency between a process and its specification expressed in CSP is typically presented as a refinement check. Within the traces model consistency is measured by examining only the traces of the systems, whilst in the finer stable failures model the possibility of subsequently refusing a combination of events is also taken into consideration.
In this paper, we begin by motivating the need for alternative measures of consistency. We then identify the failures class—a cla...Expand abstract
- Publication status:
- Peer review status:
- Peer reviewed
- Publisher's version
- Copyright holder:
- Elsevier B.V.
- Copyright date:
- Copyright 2004 Elsevier B.V. All rights reserved. Re-use of this article is permitted in accordance with the Terms and Conditions set out at http://www.elsevier.com/open-access/userlicense/1.0/
Views and Downloads
If you are the owner of this record, you can report an update to it here: Report update to this record