scientific article; zbMATH DE number 785047

zbMATH Open0831.68061MaRDI QIDQ4842536FDOQ4842536

Authors: Rolf Hennicker, Martin Wirsing 

Publication date: 14 August 1995

Title of this publication is not available (Why is that?)

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

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)

Cited In (17)

• Title not available (Why is that?)
• 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
• Theoretical Aspects of Computing – ICTAC 2005
• Constructor-based observational logic
• 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
• Title not available (Why is that?)
• Proving Behavioral Refinements of COL-specifications
• On behavioural abstraction and behavioural satisfaction in higher-order logic
• Title not available (Why is that?)

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)