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.
منابع مشابه
“Seeing” the Difference: The Importance of Visibility and Action as a Mark of “Authenticity” in Co-production; Comment on “Collaboration and Co-production of Knowledge in Healthcare: Opportunities and Challenges”
The Rycroft-Malone paper states that co-production relies on ‘authentic’ collaboration as a context for action. Our commentary supports and extends this assertion. We suggest that ‘authentic’ co-production involves processes where participants can ‘see’ the difference that they have made within the project and beyond. We provide examples including: the use of design in health projects which see...
متن کاملSeeing the Body: The Divergence of Ancient Chinese and Western Medical Illustration
JBC Vol. 32, No. 1 2006 A medical illustration is the culmination of centuries of medical philosophy, science, and spirituality. Despite similar beginnings, different circumstances surrounding the development of Chinese and Western medical thought eventually led to their divergence. Through an historical comparison, I will attempt to demonstrate how the East and the West came to have such diffe...
متن کاملThe Global Productivity Slowdown, Technology Divergence and Public Policy: a Firm Level Perspective
Since the late 1990s, labor productivity (total output per hour worked) growth has slowed markedly for many of the world’s largest economies. Using a micro-level dataset of firms in OECD member countries, OECD researchers Dan Andrews, Chiara Criscuolo, and Peter Gal decompose the slowdown and show that the top (“frontier”) firms have continued seeing productivity increases while the others (the...
متن کاملTo See or not to See: Interlocutor Visibility and Likeability Influence Convergence in Intonation
In this paper we look at convergence and divergence in intonation in the context of social qualities. Specifically we examine pitch accent realisations in the GECO corpus of German conversations. Pitch accents are represented as 6-dimensional vectors where each dimension corresponds to a characteristic of the accent’s shape. Convergence/divergence is then measured by calculating the distance be...
متن کاملTopological Data Analysis with Bregman Divergences
Given a finite set in a metric space, the topological analysis generalizes hierarchical clustering using a 1-parameter family of homology groups to quantify connectivity in all dimensions. Going beyond Euclidean distance and really beyond metrics, we show that the tools of topological data analysis also apply when we measure distance with Bregman divergences. While these divergences violate two...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004