Observational equivalence

Known as: Contextual equivalence, Observationally equivalent, Operational equivalence

Observational equivalence is the property of two or more underlying entities being indistinguishable on the basis of their observable implications…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2013

Mutual monitoring as a solution to moral hazard has been extensively studied by theorists. However, do shareholders actually take…

2012

Within complex scientic domains such as pharmacology, op- erational equivalence between two concepts is often context-, user- and…

2012

We provide a symbolic model for protocols using public-key encryption and hash function, and prove that this model is…

2007

A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church's Theory of Types…

2006

2004

We propose a fault isolation scheme based on model checking in order to reason about temporal properties of loosely coupled…

2003

We introduce new tools allowing to deal with the equality-problem for prefix-free languages. We illustrate our ideas by showing…

2002

In this paper, a joint model of wages, hazard of a job ending, and probability of holding employer-provided health insurance is…

2001

Are China’s Stock Markets Really Weak-form Efficient? Shiguang Ma and Michelle L. Barnes Abstract: The weak-form efficiency…

1997

In this paper we first show that it is possible to modify linear real business cycle models to allow for disaggregate (industry…