Interleaving isotactics -- an equivalence notion on behaviour abstractions

DOI10.1016/j.tcs.2018.01.005zbMath1395.68125OpenAlexW2805574194MaRDI QIDQ1643139

Jan Sürmeli, Artem Polyvyanyy, Matthias Weidlich

Publication date: 18 June 2018

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/11343/210750

zbMATH Keywords

bisimulationbehavioural equivalencemodel matchingprocess semanticsbehavioural abstraction

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Stutter-invariant temporal properties are expressible without the next-time operator
• Model-checking process equivalences
• Metrics for labelled Markov processes
• Invariance under stuttering in a temporal logic of actions
• Characterizing finite Kripke structures in propositional temporal logic
• Vertical implementation
• Well-behaved flow event structures for parallel composition and action refinement
• Petri nets and regular processes
• Concurrent bisimulations in Petri nets
• THE ABSTRACT THEORY OF AUTOMATA
• Inheritance of Business Processes: A Journey Visiting Four Notorious Problems
• Inheritance of behavior