scientific article; zbMATH DE number 785047

MaRDI QIDQ4842536zbMATH OpenFDO

Authors Rolf Hennicker, Martin Wirsing

Publication date 14 August 1995

zbMATH Keywords

semantics of algebraic specification

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Recommendations

• Behavioural and abstractor specifications
• scientific article; zbMATH DE number 1368957
• Behavioural approaches to algebraic specifications. A comparative study
• Behavioural and abstractor specifications revisited
• scientific article; zbMATH DE number 3898213

Cited in

(17)

• scientific article; zbMATH DE number 3990910 (Why is no real title available?)
• scientific article; zbMATH DE number 4007699 (Why is no real title available?)
• Foundations for structuring behavioural specifications
• Observational logic, constructor-based logic, and their duality.
• On behavioural abstraction and behavioural satisfaction in higher-order logic
• Observational implementations
• Observational refinement process
• Inductive behavioral proofs by unhiding
• Constructor-based observational logic
• Theoretical Aspects of Computing – ICTAC 2005
• Observational proofs by rewriting.
• Proof systems for structured specifications with observability operators
• Behavioural approaches to algebraic specifications. A comparative study
• A semi-algorithm for algebraic implementation proofs
• scientific article; zbMATH DE number 4113952 (Why is no real title available?)
• Proving Behavioral Refinements of COL-specifications
• On behavioural abstraction and behavioural satisfaction in higher-order logic

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 Q4842536)