Pages that link to "Item:Q2891435"
From MaRDI portal
The following pages link to Ideal Abstractions for Well-Structured Transition Systems (Q2891435):
Displaying 12 items.
- Constructive design of a hierarchy of semantics of a transition system by abstract interpretation (Q1605224) (← links)
- Handling infinitely branching well-structured transition systems (Q1686118) (← links)
- Abstractions for transition systems with applications to stubborn sets (Q1708713) (← links)
- On Hierarchical Communication Topologies in the $$\pi $$ -calculus (Q2802475) (← links)
- Ideal Abstractions for Well-Structured Transition Systems (Q2891435) (← links)
- Complete Abstractions and Subclassical Modal Logics (Q2961561) (← links)
- Modeling Actor Systems Using Dynamic I/O Automata (Q3179176) (← links)
- (Q5089298) (← links)
- (Q5136306) (← links)
- (Q5367063) (← links)
- (Q5394328) (← links)
- Well-structured transition systems everywhere! (Q5941101) (← links)