Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

BIRTHDAY
2004
Springer

favoriteEmaildiscussreport

76views Applied Computing» more BIRTHDAY 2004»

Seeing Beyond Divergence

13 years 10 months ago

Seeing Beyond Divergence

Download www.comlab.ox.ac.uk

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 ﬁrst divergence can be seen. In this paper we show that a congruence previously identiﬁed as the weakest one to predict divergence over LTS’s can be given a new ﬁxed point theory, which we term reﬂected ﬁxed points and thereby turned into a full CSP model which is congruent to the operational semantics.

A. W. Roscoe

Real-time Traffic

Applied Computing | BIRTHDAY 2004 | Divergence | Long-standing Complaint | ﬁrst Divergence |

claim paper

Related Content

» Seeing Beyond Occlusions and other marvels of a finite lens aperture

» Exponential families and simplification of mixture models

» Scaling up a What You See Is What You Test Methodology to Spreadsheet Grids

» Testing Homogeneous Spreadsheet Grids with the What You See Is What You Test Methodology

» Now let me see where i was understanding how lifelogs mediate memory

» Broadening Ethics Teaching in Engineering Beyond the Individualistic Approach

» JensenShannon Boosting Learning for Object Recognition

» Information Security Economics and Beyond

» WIIS multimodal simulation for exploring the world beyond visual sense

Post Info
More Details (n/a)

Added	01 Jul 2010
Updated	01 Jul 2010
Type	Conference
Year	2004
Where	BIRTHDAY
Authors	A. W. Roscoe

Comments (0)