Pages that link to "Item:Q3638095"
From MaRDI portal
The following pages link to Forward Analysis for WSTS, Part II: Complete WSTS (Q3638095):
Displayed 12 items.
- Forward analysis and model checking for trace bounded WSTS (Q290914) (← links)
- Deciding safety properties in infinite-state pi-calculus via behavioural types (Q418155) (← links)
- Decidability and complexity of Petri nets with unordered data (Q554219) (← links)
- Multiset rewriting for the verification of depth-bounded processes with name binding (Q714507) (← links)
- Handling infinitely branching well-structured transition systems (Q1686118) (← links)
- Ideal Abstractions for Well-Structured Transition Systems (Q2891435) (← links)
- Forward Analysis and Model Checking for Trace Bounded WSTS (Q3011881) (← links)
- Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning (Q3011882) (← links)
- The Ideal Approach to Computing Closed Subsets in Well-Quasi-orderings (Q3295146) (← links)
- (Q5111627) (← links)
- (Q5114831) (← links)
- (Q5136306) (← links)