Contextual equivalences in configuration structures and reversibility

Clément Aubert, Ioana Cristescu. Contextual equivalences in configuration structures and reversibility. Journal of Logic and Algebraic Programming, 86(1):77-106, 2017. [doi]

Authors

Clément Aubert

This author has not been identified. Look up 'Clément Aubert' in Google

Ioana Cristescu

This author has not been identified. Look up 'Ioana Cristescu' in Google