Observational specifications and the indistinguishability assumption

DOI10.1016/0304-3975(94)00017-DMaRDI QIDQ673973zbMATH OpenFDO

Authors Gilles Bernot, Michel Bidoit, Teodor Knapik

Publication date 28 February 1997

Published in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

indistinguishablility assumptionobservational equalityobservational satisfaction relation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3898213
• Observational implementations
• Observational implementation of algebraic specifications
• scientific article; zbMATH DE number 3936496
• Observational proofs by rewriting.

Cites work

• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3819086 (Why is no real title available?)
• scientific article; zbMATH DE number 3911679 (Why is no real title available?)
• scientific article; zbMATH DE number 3936496 (Why is no real title available?)
• scientific article; zbMATH DE number 4078762 (Why is no real title available?)
• scientific article; zbMATH DE number 3754008 (Why is no real title available?)
• scientific article; zbMATH DE number 3776831 (Why is no real title available?)
• scientific article; zbMATH DE number 1142323 (Why is no real title available?)
• scientific article; zbMATH DE number 3999267 (Why is no real title available?)
• scientific article; zbMATH DE number 4113952 (Why is no real title available?)
• scientific article; zbMATH DE number 6296809 (Why is no real title available?)
• Context induction: A proof principle for behavioural abstractions and algebraic implementations
• Final Data Types and Their Specification
• Institutions: abstract model theory for specification and programming
• On observational equivalence and algebraic specification

Cited in

(7)

• scientific article; zbMATH DE number 3898213 (Why is no real title available?)
• Undecidable classical properties of observers
• Observational interpretation of Casl specifications
• Behavioral abstraction is hiding information
• Towards behavioral Maude: behavioral membership equational logic
• scientific article; zbMATH DE number 3936496 (Why is no real title available?)
• Observational proofs by rewriting.

This page was built for publication: Observational specifications and the indistinguishability assumption

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q673973)