Pages that link to "Item:Q3608407"
From MaRDI portal
The following pages link to Comparing the Expressive Power of Well-Structured Transition Systems (Q3608407):
Displayed 6 items.
- A classification of the expressive power of well-structured transition systems (Q553290) (← links)
- Multiset rewriting for the verification of depth-bounded processes with name binding (Q714507) (← links)
- A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations (Q3618568) (← links)
- Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication (Q3636840) (← links)
- (Q5009453) (← links)
- (Q5111264) (← links)