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):
Displaying 11 items.
- Rewriting XPath queries using materialized XPath views (Q439966) (← links)
- 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)
- An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation (Q1785863) (← links)
- Fair simulation (Q1854506) (← links)
- Capacitated automata and systems (Q2280332) (← links)
- An efficient simulation algorithm on Kripke structures (Q2453984) (← links)
- Bridging the gap between fair simulation and trace inclusion (Q2486398) (← links)
- Controller synthesis for bisimulation equivalence (Q2519735) (← links)
- A space-efficient simulation algorithm on probabilistic automata (Q2629854) (← links)
