Pages that link to "Item:Q1606922"
From MaRDI portal
The following pages link to On finite representations of infinite-state behaviours (Q1606922):
Displaying 7 items.
- Fixed point characterization of infinite behavior of finite-state systems (Q1389678) (← links)
- A representable approach to finite nondeterminism (Q1391859) (← links)
- Finite multidimensional behaviors (Q1937785) (← links)
- A generic framework for checking semantic equivalences between pushdown automata and finite-state automata (Q2409577) (← links)
- A general approach to comparing infinite-state systems with their finite-state specifications (Q2503044) (← links)
- A Finite State Version of the Kraft--McMillan Theorem (Q4507391) (← links)
- Finite State Incompressible Infinite Sequences (Q5410635) (← links)