The following pages link to (Q3771630):
Displaying 15 items.
- Deciding safety properties in infinite-state pi-calculus via behavioural types (Q418155) (← links)
- Testing for unboundedness of fifo channels (Q685434) (← links)
- Reduction and covering of infinite reachability trees (Q1173681) (← links)
- A unified approach for deciding the existence of certain petri net paths (Q1184737) (← links)
- A well-structured framework for analysing Petri net extensions (Q1763373) (← links)
- Parameterized verification of monotone information systems (Q1798673) (← links)
- Complexity Hierarchies beyond Elementary (Q2828216) (← links)
- Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning (Q3011882) (← links)
- Forward analysis for WSTS, part I: completions (Q3386750) (← links)
- (Q5009453) (← links)
- (Q5020648) (← links)
- On the Boundedness Problem for Higher-Order Pushdown Vector Addition Systems (Q5090985) (← links)
- (Q5114831) (← links)
- (Q5136306) (← links)
- Well-structured transition systems everywhere! (Q5941101) (← links)
