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