Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

5 relations
Chaos theoryDenotational semanticsProVerifQuantum reference frame

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Abstraction-safe effect handlers via tunneling
Algebraic effect handlers offer a unified approach to expressing control-flow transfer idioms such as exceptions, iteration, and… 
Highly Cited
2012
Highly Cited
2012
A framework for automated distributed implementation of component-based models
Although distributed systems are widely used nowadays, their implementation and deployment are still time-consuming, error-prone… 
2011
2011
From Applicative to Environmental Bisimulation
Highly Cited
2003
Highly Cited
2003
Hume: A Domain-Specific Language for Real-Time Embedded Systems
This paper describes Hume: a novel domain-specific language whose purpose is to explore the expressibility/costability spectrum… 
Review
2000
Review
2000
Operational Semantics and Program Equivalence
This tutorial paper discusses a particular style of operational semantics that enables one to give a 'syntax-directed' inductive… 
Review
1998
Review
1998
Economic Geography, Industry Location and Trade: The Evidence
General-equilibrium models based on increasing returns, product differentiation and monopolistic competition have attained a… 
Highly Cited
1998
Highly Cited
1998
A Structure Theory for Linear Dynamic Errors-in-Variables Models
We deal with problems connected with the identification of linear dynamic systems in situations when inputs and outputs may be… 
Highly Cited
1993
Highly Cited
1993
Call by name, assignment, and the lambda calculus
We define an extension of the call-by-name lambda calculus with additional constructs and reduction rules that represent mutable… 
1992
1992
Inferring the Equivalence of Functional Programs That Mutate Data
Highly Cited
1985
Highly Cited
1985
On Observational Equivalence and Algebraic Specification
The properties of a simple and natural notion of observational equivalence of algebras and the corresponding specification… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)