Pages that link to "Item:Q671500"
From MaRDI portal
The following pages link to Behavioural theories and the proof of behavioural properties (Q671500):
Displaying 16 items.
- Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach (Q301373) (← links)
- Abstract valuation semantics (Q368484) (← links)
- Categorical abstract algebraic logic: behavioral \(\pi\)-institutions (Q456973) (← 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)
- Constructor-based observational logic (Q2369030) (← links)
- Closure properties for the class of behavioral models (Q2373706) (← links)
- Towards Behavioral Maude (Q2842559) (← links)
- A short overview of Hidden Logic (Q4586416) (← links)
- Proof systems for structured algebraic specifications: An overview (Q5055918) (← links)
- Proving the correctness of behavioural implementations (Q5096383) (← links)
- Observational Refinement Process (Q5403465) (← links)
- Behavioural reasoning for conditional equations (Q5430141) (← links)
