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.
CITATION STYLE
Roscoe, A. W. (2005). Seeing beyond divergence. In Lecture Notes in Computer Science (Vol. 3525, pp. 15–35). Springer Verlag. https://doi.org/10.1007/11423348_2
Mendeley helps you to discover research relevant for your work.