Pages that link to "Item:Q1899135"
From MaRDI portal
The following pages link to Transformational design and implementation of a new efficient solution to the ready simulation problem (Q1899135):
Displayed 8 items.
- An NSF proposal (Q815007) (← links)
- Generalizing the Paige-Tarjan algorithm by abstract interpretation (Q924726) (← links)
- An efficient simulation algorithm based on abstract interpretation (Q1049401) (← links)
- Fair simulation (Q1854506) (← links)
- Bridging the gap between fair simulation and trace inclusion (Q2486398) (← links)
- Controller synthesis for bisimulation equivalence (Q2519735) (← links)
- Correcting a Space-Efficient Simulation Algorithm (Q3512514) (← links)
- Five Determinisation Algorithms (Q3602811) (← links)