Observational specifications and the indistinguishability assumption

DOI10.1016/0304-3975(94)00017-DzbMATH Open0874.68194MaRDI QIDQ673973FDOQ673973

Authors: Gilles Bernot, Michel Bidoit, Teodor Knapik 

Publication date: 28 February 1997

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

Recommendations

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

zbMATH Keywords

indistinguishablility assumptionobservational equalityobservational satisfaction relation

Mathematics Subject Classification ID

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

Cites Work

• Institutions: abstract model theory for specification and programming
• On observational equivalence and algebraic specification
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Context induction: A proof principle for behavioural abstractions and algebraic implementations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Final Data Types and Their Specification

Cited In (7)

• Title not available (Why is that?)
• Undecidable classical properties of observers
• Observational interpretation of Casl specifications
• Observational proofs by rewriting.
• Towards behavioral Maude: behavioral membership equational logic
• Title not available (Why is that?)
• Behavioral abstraction is hiding information

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)