Interleaving isotactics – An equivalence notion on behaviour abstractions
Abstract
We study the equivalence of models that capture the behaviour of systems, such as process-oriented information systems. We focus on models that are not related by a bijection over their actions, but by an alignment between sets of their actions. For this setting, we propose interleaving isotactics as an equivalence notion based on abstractions that are induced by the alignment. We demonstrate that this notion is grounded in trace equivalence,...
Paper Details
Title
Interleaving isotactics – An equivalence notion on behaviour abstractions
Published Date
Aug 1, 2018
Journal
Volume
737
Pages
1 - 18
Citation AnalysisPro
You’ll need to upgrade your plan to Pro
Looking to understand the true influence of a researcher’s work across journals & affiliations?
- Scinapse’s Top 10 Citation Journals & Affiliations graph reveals the quality and authenticity of citations received by a paper.
- Discover whether citations have been inflated due to self-citations, or if citations include institutional bias.
Notes
History