Interleaving isotactics - An equivalence notion on behaviour abstractions

Artem Polyvyanyy, Jan Sürmeli, Matthias Weidlich. Interleaving isotactics - An equivalence notion on behaviour abstractions. Theoretical Computer Science, 737:1-18, 2018. [doi]

Abstract

Abstract is missing.