The three platonic models of divergence-strict CSP

Journal article

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

Authors: Roscoe, A

• Publication status: Published
• Journal: THEORETICAL ASPECTS OF COMPUTING - ICTAC 2008, PROCEEDINGS
• Volume: 5160
• Pages: 23-49
• Publication date: 2008-01-01
• DOI: 10.1007/978-3-540-85762-4_3
• EISSN: 1611-3349
• ISSN: 0302-9743
• Language: English