"Interleaving isotactics - An equivalence notion on behaviour abstractions."

Artem Polyvyanyy, Jan Sürmeli, Matthias Weidlich (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics