Pages that link to "Item:Q3011883"
From MaRDI portal
The following pages link to An Algorithm for Direct Construction of Complete Merged Processes (Q3011883):
Displayed 5 items.
- A geometric view of partial order reduction (Q265807) (← links)
- Untanglings: a novel approach to analyzing concurrent systems (Q903488) (← links)
- Compact and efficiently verifiable models for concurrent systems (Q1620959) (← links)
- An Algorithm for Direct Construction of Complete Merged Processes (Q3011883) (← links)
- Flow Unfolding of Multi-clock Nets (Q5166763) (← links)