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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Many cryptographic security definitions can be naturally formulated as observational equivalence properties. However, existing… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2009
2009
Formal methods have proved their usefulness for analyzing the security of protocols. Most existing results focus on trace… (More)
  • figure 1
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Many security properties are naturally expressed as indistinguishability between two versions of a protocol. In this paper, we… (More)
  • figure 1
Is this relevant?
2008
2008
Language-based security relies on the assumption that all potential attacks are bound by the rules of the language in question… (More)
  • figure 1
Is this relevant?
2007
2007
We define an observational equivalence for Lafont’s interaction combinators, which we prove to be the least discriminating non… (More)
Is this relevant?
2002
2002
We prove that observational equivalence of 3rd-order finitary Idealized Algol (IA) is decidable using Game Semantics. By… (More)
  • table 2
  • figure 1
Is this relevant?
2001
2001
We introduce a notion of bisimulation for graph rewriting systems, allowing us to prove observational equivalence for dynamically… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Studies of the mathematical properties of impredicative polymorphic types have for the most part focused on the polymorphic… (More)
  • figure 1
Is this relevant?
1996
1996
We show that observational equivalence can be characterized by saturating homomorphisms (with respect to Hennessy-Milner logic… (More)
Is this relevant?
Highly Cited
1989
Highly Cited
1989
Finite state automata, with non-determinism and silent transitions, can be interpreted not as subsets of the free monoid as in… (More)
Is this relevant?