scientific article; zbMATH DE number 4113952
From MaRDI portal
Publication:4729318
Recommendations
Cited in
(24)- scientific article; zbMATH DE number 4007699 (Why is no real title available?)
- Two impossibility theorems on behaviour specification of abstract data types
- Proving the correctness of behavioural implementations
- On behavioural abstraction and behavioural satisfaction in higher-order logic
- Behavioural and abstractor specifications revisited
- Behavioural theories and the proof of behavioural properties
- Recent Trends in Algebraic Development Techniques
- Constructor-based observational logic
- Observational proofs by rewriting.
- Initial Algebra Semantics Is Enough!
- Proof systems for structured specifications with observability operators
- Context induction: A proof principle for behavioural abstractions and algebraic implementations
- Observational implementation of algebraic specifications
- Toward formal development of programs from algebraic specifications: model-theoretic foundations
- scientific article; zbMATH DE number 5263431 (Why is no real title available?)
- Functorial theory of parameterized specifications in a general specification framework
- A semi-algorithm for algebraic implementation proofs
- scientific article; zbMATH DE number 3956411 (Why is no real title available?)
- On behavioural abstraction and behavioural satisfaction in higher-order logic
- scientific article; zbMATH DE number 1988995 (Why is no real title available?)
- Observational interpretations of hybrid dynamic logic with binders and silent transitions
- Behavioural satisfaction and equivalence in concrete model categories
- Observational specifications and the indistinguishability assumption
- On the correctness of modular systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4729318)
