Pages that link to "Item:Q5900823"
From MaRDI portal
The following pages link to Recent Trends in Algebraic Development Techniques (Q5900823):
Displayed 7 items.
- Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach (Q301373) (← links)
- Complete sets of cooperations (Q618169) (← links)
- Closure properties for the class of behavioral models (Q2373706) (← links)
- Regular Strategies as Proof Tactics for CIRC (Q2873678) (← links)
- Circular Coinduction: A Proof Theoretical Foundation (Q2888482) (← links)
- CIRC: A Behavioral Verification Tool Based on Circular Coinduction (Q2888503) (← links)
- A short overview of Hidden Logic (Q4586416) (← links)