Pages that link to "Item:Q5716825"
From MaRDI portal
The following pages link to Automata, Languages and Programming (Q5716825):
Displaying 9 items.
- Trace- and failure-based semantics for responsiveness (Q478516) (← links)
- Failures semantics based on interval semiwords is a congruence for refinement (Q757073) (← links)
- Ready to preorder: an algebraic and general proof (Q843212) (← links)
- On finite alphabets and infinite bases (Q924717) (← links)
- Failure-based equivalence of constraint automata (Q3056378) (← links)
- An Extended cCSP with Stable Failures Semantics (Q3585047) (← links)
- On Finite Bases for Weak Semantics: Failures Versus Impossible Futures (Q3599070) (← links)
- (Q4665722) (← links)
- Foundations of Software Science and Computation Structures (Q5308450) (← links)