scientific article; zbMATH DE number 4113952
From MaRDI portal
Publication:4729318
zbMATH Open0679.68026MaRDI QIDQ4729318FDOQ4729318
Authors: Ma P. Nivela, Fernando Orejas 
Publication date: 1988
Title of this publication is not available (Why is that?)
Recommendations
Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)
Cited In (24)
- Title not available (Why is that?)
- 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
- Toward formal development of programs from algebraic specifications: Model-theoretic foundations
- Behavioural theories and the proof of behavioural properties
- Recent Trends in Algebraic Development Techniques
- Constructor-based observational logic
- Initial Algebra Semantics Is Enough!
- Observational proofs by rewriting.
- Proof systems for structured specifications with observability operators
- Context induction: A proof principle for behavioural abstractions and algebraic implementations
- Observational implementation of algebraic specifications
- Title not available (Why is that?)
- Functorial theory of parameterized specifications in a general specification framework
- A semi-algorithm for algebraic implementation proofs
- Title not available (Why is that?)
- On behavioural abstraction and behavioural satisfaction in higher-order logic
- Behavioural satisfaction and equivalence in concrete model categories
- Title not available (Why is that?)
- Observational interpretations of hybrid dynamic logic with binders and silent transitions
- 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)
