Seeing beyond divergence

13Citations
Citations of this article
8Readers
Mendeley users who have this article in their library.
Get full text

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.

Cite

CITATION STYLE

APA

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

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free