Contextual equivalences in configuration structures and reversibility

Clément Aubert, Ioana Cristescu

Research output: Contribution to journal › Article › peer-review

12 Scopus citations

Original language	English (US)
Journal	Journal of Logical and Algebraic Methods in Programming
DOIs	https://doi.org/10.1016/j.jlamp.2016.08.004
State	Published - Jan 2017

Access to Document

@article{35e57f137a954ddfb47385492f1ffee2,

title = "Contextual equivalences in configuration structures and reversibility",

author = "Cl{\'e}ment Aubert and Ioana Cristescu",

year = "2017",

month = jan,

doi = "10.1016/j.jlamp.2016.08.004",

language = "English (US)",

journal = "Journal of Logical and Algebraic Methods in Programming",

issn = "2352-2208",

publisher = "Elsevier BV",

}

TY - JOUR

T1 - Contextual equivalences in configuration structures and reversibility

AU - Aubert, Clément

AU - Cristescu, Ioana

PY - 2017/1

Y1 - 2017/1

U2 - 10.1016/j.jlamp.2016.08.004

DO - 10.1016/j.jlamp.2016.08.004

M3 - Article

SN - 2352-2208

JO - Journal of Logical and Algebraic Methods in Programming

JF - Journal of Logical and Algebraic Methods in Programming

ER -