Behavioral abstraction is hiding information

DOI10.1016/j.tcs.2004.07.027zbMath1105.68076MaRDI QIDQ703529

Grigore Roşu

Publication date: 11 January 2005

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

Full work available at URL: https://doi.org/10.1016/j.tcs.2004.07.027

zbMATH Keywords

Information hiding; Algebraic specification; Behavioral equivalence

Mathematics Subject Classification ID

68Q65: Abstract data types; algebraic specification

Related Items

Behavioral algebraization of logics

Uses Software

• CCSL
• OBJ3
• CafeOBJ
• Maude
• CoCasl

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Behavioural theories and the proof of behavioural properties
• Observational specifications and the indistinguishability assumption
• Institution morphisms
• On observational equivalence and algebraic specification
• Modular correctness proofs of behavioural implementations
• Context induction: A proof principle for behavioural abstractions and algebraic implementations
• Structured operational semantics and bisimulation as a congruence
• Recent trends in algebraic development techniques. 13th international workshop, WADT '98, Lisbon, Portugal, April 2--4, 1998. Proceedings
• Recent trends in algebraic development techniques. 12th international workshop, WADT '97, Tarquinia, Italy, June 3--7, 1997. Selected papers
• Swinging types=functions+relations+transition systems
• A hidden agenda
• Maude: specification and programming in rewriting logic
• Automated deduction in classical and non-classical logics. Selected papers
• Constructor-based observational logic
• Coalgebras for Binary Methods: Properties of Bisimulations and Invariants
• Greatest Bisimulations for Binary Methods
• Module algebra
• Bisimulation and Hidden Algebra
• Hidden coinduction: behavioural correctness proofs for objects
• Institutions: abstract model theory for specification and programming
• Equational specifications, complete term rewriting systems, and computable and semicomputable algebras
• Recent Trends in Algebraic Development Techniques
• Equational axiomatizability for coalgebra