Pages that link to "Item:Q3599219"
From MaRDI portal
The following pages link to McMillan’s Complete Prefix for Contextual Nets (Q3599219):
Displaying 5 items.
- Efficient unfolding of contextual Petri nets (Q443729) (← links)
- An Algorithm for Direct Construction of Complete Merged Processes (Q3011883) (← links)
- Efficient Contextual Unfolding (Q3090840) (← links)
- Unfolding Graph Transformation Systems: Theory and Applications to Verification (Q3507354) (← links)
- Construction and SAT-Based Verification of Contextual Unfoldings (Q5200078) (← links)