Artem Polyvyanyy, Jan Sürmeli, Matthias Weidlich. Interleaving isotactics - An equivalence notion on behaviour abstractions. Theoretical Computer Science, 737:1-18, 2018. [doi]
@article{PolyvyanyySW18,
title = {Interleaving isotactics - An equivalence notion on behaviour abstractions},
author = {Artem Polyvyanyy and Jan Sürmeli and Matthias Weidlich},
year = {2018},
doi = {10.1016/j.tcs.2018.01.005},
url = {https://doi.org/10.1016/j.tcs.2018.01.005},
researchr = {https://researchr.org/publication/PolyvyanyySW18},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {737},
pages = {1-18},
}