Seeing Beyond Divergence

A long-standing complaint about the theory of CSP has been that all theories which encompass divergence are divergence-strict, meaning that nothing beyond the first divergence can be seen. In this paper we show that a congruence previously identified as the weakest one to predict divergence over LTS’s can be given a new fixed point theory, which we term reflected fixed points and thereby turned into a full CSP model which is congruent to the operational semantics.

• Type: Conference
• Year: 2004
• Where: BIRTHDAY
• Authors: A. W. Roscoe
• Keywords: Applied Computing, BIRTHDAY 2004, Divergence, Long-standing Complaint, first Divergence