Contextual equivalences in configuration structures and reversibility

  title={Contextual equivalences in configuration structures and reversibility},
  author={Cl{\'e}ment Aubert and Ioana Cristescu},
Contextual equivalence equate terms that have the same observable behaviour in any context. A standard contextual equivalence for CCS is the strong barbed congruence. Configuration structures are a denotational semantics for processes in which one define equivalences that are more discriminating, i.e. that distinguish the denotation of terms equated by barbed congruence. Hereditary history preserving bisimulation (HHPB) is such a relation. We define a strong backand-forth barbed congruence on… CONTINUE READING
Recent Discussions
This paper has been referenced on Twitter 3 times over the past 90 days. VIEW TWEETS