The following pages link to (Q4537506):
Displaying 11 items.
- Behavioural theories and the proof of behavioural properties (Q671500) (← links)
- On behavioural abstraction and behavioural satisfaction in higher-order logic (Q671672) (← links)
- Behavioral abstraction is hiding information (Q703529) (← links)
- Proof systems for structured specifications with observability operators (Q1391730) (← links)
- On institutions for modular coalgebraic specifications. (Q1603816) (← links)
- Observational proofs by rewriting. (Q1607227) (← links)
- Closure properties for the class of behavioral models (Q2373706) (← links)
- Inductive behavioral proofs by unhiding (Q2843734) (← links)
- Proving the correctness of behavioural implementations (Q5096383) (← links)
- On behavioural abstraction and behavioural satisfaction in higher-order logic (Q5096735) (← links)
- Behavioural satisfaction and equivalence in concrete model categories (Q5878913) (← links)