The following pages link to (Q4787241):
Displayed 4 items.
- A theory of structural stationarity in the \(\pi\)-calculus (Q1014276) (← links)
- Automata-driven partial order reduction and guided search for LTL model checking (Q2152647) (← links)
- Decompositional Petri Net Reductions (Q3605479) (← links)
- Petri Net Reductions for Counting Markings (Q5883572) (← links)