scientific article; zbMATH DE number 3936496

MaRDI QIDQ3707384zbMATH OpenFDO

Authors Rolf Hennicker, Martin Wirsing

Publication date 1985

zbMATH Keywords

observabilityobservable homomorphismobservational algebrasobservational criterionobservational implementationobservational specification

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• Observational specifications and the indistinguishability assumption
• scientific article; zbMATH DE number 3898213
• On observational equivalence and algebraic specification
• A proof-theoretic characterization of observational equivalence
• scientific article; zbMATH DE number 3858386
• An algebraic characterization of observational equivalence
• A logical characterization of observation equivalence
• Deterministic observation: theory and applications
• scientific article; zbMATH DE number 1434641

Cited in

(6)

• Structured algebraic specifications: A kernel language
• scientific article; zbMATH DE number 3898213 (Why is no real title available?)
• Observational implementations
• Observational interpretation of Casl specifications
• Observational specifications and the indistinguishability assumption
• 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 Q3707384)