Pages that link to "Item:Q1575635"
From MaRDI portal
The following pages link to Swinging types=functions+relations+transition systems (Q1575635):
Displaying 10 items.
- Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach (Q301373) (← links)
- Behavioral abstraction is hiding information (Q703529) (← links)
- Observational logic, constructor-based logic, and their duality. (Q1874280) (← links)
- Closure properties for the class of behavioral models (Q2373706) (← links)
- Shallow confluence of conditional term rewriting systems (Q2518609) (← links)
- Integrating Observational and Computational Features in the Specification of State-Based, Dynamical Systems (Q2747940) (← links)
- Expander2: Program Verification Between Interaction and Automation (Q2873787) (← links)
- From Grammars and Automata to Algebras and Coalgebras (Q3014929) (← links)
- A short overview of Hidden Logic (Q4586416) (← links)
- Observational Refinement Process (Q5403465) (← links)
