Interleaving isotactics - An equivalence notion on behaviour abstractions

Author(s)
Artem Polyvyanyy and Jan Sürmeli and Matthias Weidlich
Journal
Theor. Comput. Sci.
Year
2018
Volume
737
Pages
1--18
Online Sources
https://doi.org/10.1016/j.tcs.2018.01.005
DOI
10.1016/j.tcs.2018.01.005
Download .bib
Download .bib
Published by
Jan Sürmeli