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) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) 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

(20)

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