Contextual equivalences in configuration structures and reversibility

Clément Aubert, Ioana Cristescu

Research output: Contribution to journalArticle

4 Citations (Scopus)
Original languageEnglish (US)
JournalJournal of Logical and Algebraic Methods in Programming
DOIs
StatePublished - Jan 2017

Cite this

@article{35e57f137a954ddfb47385492f1ffee2,
title = "Contextual equivalences in configuration structures and reversibility",
author = "Cl{\'e}ment Aubert and Ioana Cristescu",
year = "2017",
month = "1",
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

JO - Journal of Logical and Algebraic Methods in Programming

JF - Journal of Logical and Algebraic Methods in Programming

SN - 2352-2208

ER -