Journal article icon

Journal article

A hierarchy of failures-based models: theory and application

Abstract:

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:
Published
Peer review status:
Peer reviewed
Version:
Publisher's version

Actions


Access Document


Files:
Publisher copy:
10.1016/j.tcs.2004.10.004

Authors


More by this author
Institution:
University of Oxford
Department:
Mathematical, Physical & Life Sciences Division - Department of Computer Science - Oxford University Computing Laboratory
Role:
Author
More by this author
Institution:
University of Oxford
Department:
Mathematical, Physical & Life Sciences Division - Department of Computer Science - Oxford University Computing Laboratory
Role:
Author
Publisher:
Elsevier Inc. Publisher's website
Journal:
Theoretical Computer Science Journal website
Volume:
330
Issue:
3
Pages:
407–438
Publication date:
2005-02-05
DOI:
ISSN:
0304-3975
URN:
uuid:82dec6d7-8250-4f9f-87d0-335447bf6b8c
Local pid:
ora:10784

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP