7 citations · 12 across the 7 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015
Contextual equivalences in configuration structures and reversibility
Clément Aubert, 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…
cs.LO2015★ 7 cited
Reversible Barbed Congruence on Configuration Structures
Clément Aubert, Ioana Cristescu
A standard contextual equivalence for process algebras is strong barbed congruence. Configuration structures are a denotational semantics for processes in which one can define equi…