Pages that link to "Item:Q1179807"
From MaRDI portal
The following pages link to Context induction: A proof principle for behavioural abstractions and algebraic implementations (Q1179807):
Displaying 17 items.
- Complete sets of cooperations (Q618169) (← links)
- Behavioural theories and the proof of behavioural properties (Q671500) (← links)
- On behavioural abstraction and behavioural satisfaction in higher-order logic (Q671672) (← links)
- Observational specifications and the indistinguishability assumption (Q673973) (← links)
- Behavioral abstraction is hiding information (Q703529) (← links)
- Behavioural and abstractor specifications revisited (Q724932) (← links)
- A semi-algorithm for algebraic implementation proofs (Q1199928) (← links)
- Behavioural approaches to algebraic specifications. A comparative study (Q1338907) (← links)
- Proof systems for structured specifications with observability operators (Q1391730) (← links)
- Observational proofs by rewriting. (Q1607227) (← links)
- Observational interpretations of hybrid dynamic logic with binders and silent transitions (Q1979970) (← links)
- Constructor-based observational logic (Q2369030) (← links)
- Towards Behavioral Maude (Q2842559) (← links)
- Regular Strategies as Proof Tactics for CIRC (Q2873678) (← links)
- On the complexity of stream equality (Q2875229) (← links)
- Circular Coinduction: A Proof Theoretical Foundation (Q2888482) (← links)
- A general framework for modular implementations of modular system specifications (Q5044736) (← links)
