Seeing beyond divergence

Abstract

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 labelled transition systems (LTS's) can be given a non-standard fixed-point theory, which we term reflected fixed points and thereby turned into a full CSP model which is congruent to the operational semantics over LTS's. © Springer-Verlag Berlin Heidelberg 2005.