Observational specifications and the indistinguishability assumption

DOI10.1016/0304-3975(94)00017-DzbMath0874.68194MaRDI QIDQ673973

Gilles Bernot, Teodor Knapik, Michel Bidoit

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)

Related Items (2)

Behavioral abstraction is hiding information ⋮ Towards Behavioral Maude

Cites Work

• On observational equivalence and algebraic specification
• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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