The following pages link to (Q4729318):
Displaying 22 items.
- 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)
- On the correctness of modular systems (Q674009) (← links)
- Behavioural and abstractor specifications revisited (Q724932) (← links)
- Observational implementation of algebraic specifications (Q911245) (← links)
- Context induction: A proof principle for behavioural abstractions and algebraic implementations (Q1179807) (← links)
- A semi-algorithm for algebraic implementation proofs (Q1199928) (← links)
- Two impossibility theorems on behaviour specification of abstract data types (Q1323373) (← links)
- Functorial theory of parameterized specifications in a general specification framework (Q1346622) (← 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)
- Initial Algebra Semantics Is Enough! (Q3612632) (← links)
- (Q4430324) (← links)
- Proving the correctness of behavioural implementations (Q5096383) (← links)
- On behavioural abstraction and behavioural satisfaction in higher-order logic (Q5096735) (← links)
- Toward formal development of programs from algebraic specifications: Model-theoretic foundations (Q5204355) (← links)
- (Q5457687) (← links)
- Recent Trends in Algebraic Development Techniques (Q5704002) (← links)
- Behavioural satisfaction and equivalence in concrete model categories (Q5878913) (← links)
