Contextual equivalences in configuration structures and reversibility

Abstract

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… (More)
DOI: 10.1016/j.jlamp.2016.08.004

Topics

6 Figures and Tables

Cite this paper

@article{Aubert2017ContextualEI, title={Contextual equivalences in configuration structures and reversibility}, author={Cl{\'e}ment Aubert and Ioana Cristescu}, journal={J. Log. Algebr. Meth. Program.}, year={2017}, volume={86}, pages={77-106} }