منابع مشابه
Explicit fairness in testing semantics
In this paper we investigate fair computations in the π-calculus [25]. Following Costa and Stirling’s approach for CCS-like languages [10, 11], we consider a method to label process actions in order to filter out unfair computations. We contrast the existing fair-testing notion [35, 26] with those that naturally arise by imposing weak and strong fairness. This comparison provides insight about ...
متن کاملTesting theories of fairness - Intentions matter
Recently developed models of fairness can explain a wide variety of seemingly contradictory facts. One of the most controversial and yet unresolved issues in the modeling of fairness preferences concerns the behavioral relevance of fairness intentions. Intuitively, fairness intentions seem to play an important role in economic relations, political struggles, and legal disputes but there is surp...
متن کاملQuiescence , Fairness , Testing , and Implementation ( Extended abstract ) the Notion of
Abs t rac t . Two different formalisms for concurrency are compared and are shown to have common foundations. The Input/Output automaton model and the theory of testing are analyzed in the framework of transition systems. The relationship between the fair and quiescent preorders of I/O automata is investigated and the two preorders are shown to coincide on a large class of automata. I/O automat...
متن کاملTesting Subgame Perfection Apart From Fairness in Ultimatum Games∗
We present an experiment that attempts to separate the two commonplace explanations for behavior in ultimatum games–subjects’ concern for fairness versus the failure of subgame perfection as an equilibrium refinement. We employ a tournament structure of the bargaining interaction to eliminate the potential for fairness to influence behavior. Comparing the results of the tournament game with two...
متن کاملQuiescence, Fairness, Testing, and the Notion of Implementation (Extended Abstract)
Two diierent formalisms for concurrency are compared and are shown to have common foundations. The Input/Output automaton model and the theory of testing are analyzed in the framework of transition systems. The relationship between the fair and quiescent preorders of I/O automata is investigated and the two preorders are shown to coincide on a large class of automata. I/O automata are encoded i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Circulation: Heart Failure
سال: 2019
ISSN: 1941-3289,1941-3297
DOI: 10.1161/circheartfailure.119.006517