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.

2019

Dynamic Partial Order Reduction (DPOR) algorithms are used in stateless model checking to avoid the exploration of equivalent…

2017

Contextuality is a particular quantum phenomenon that has no analogue in classical probability theory. Given two independent…

2012

The paper is motivated by the fact that past financial crises have raised serious concerns about a new wave of capital inflows…

2009

We present a possible world semantics for a call-by-value higher-order programming language with impredicative polymorphism…

2009

We present a process calculus, CCA, for the modelling and verification of mobile systems that are context-aware. This process…

2007

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

2003

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

2001

We introduce a notion of bisimulation for graph rewriting systems, allowing us to prove observational equivalence for dynamically…

1999

1998