Journal article icon

Journal article

The three platonic models of divergence-strict CSP

Abstract:

In an earlier paper [13], the author proved that there were three models of CSP that play a special role amongst the ones based on finite observations: the traces , stable failures and stable revivals models are successively more refined, but all further models refine . In the present paper we prove the corresponding result for the divergence-strict models: ones that treat any process that can diverge immediately as the least in the refinement order. We define what it is to be a divergence-st...

Expand abstract
Publication status:
Published

Actions


Access Document


Publisher copy:
10.1007/978-3-540-85762-4_3

Authors


Journal:
THEORETICAL ASPECTS OF COMPUTING - ICTAC 2008, PROCEEDINGS More from this journal
Volume:
5160
Pages:
23-49
Publication date:
2008-01-01
DOI:
EISSN:
1611-3349
ISSN:
0302-9743
Language:
English
Pubs id:
pubs:292419
UUID:
uuid:2320c149-3a43-4616-8a26-99861789995e
Local pid:
pubs:292419
Source identifiers:
292419
Deposit date:
2012-12-19

Terms of use


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