Behavioral abstraction is hiding information

DOI10.1016/J.TCS.2004.07.027zbMATH Open1105.68076OpenAlexW2120272424MaRDI QIDQ703529FDOQ703529

Authors: 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

Recommendations

• On abstraction and interpretability: a behavioural perspective
• Implicit abstraction heuristics
• Behavioural abstraction in TCCS
• scientific article; zbMATH DE number 1735620
• Abstraction strategies in practice
• A Paradigm for Masking (Camouflaging) Information

zbMATH Keywords

Information hidingAlgebraic specificationBehavioral equivalence

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cites Work

• Maude: specification and programming in rewriting logic
• The coalgebraic class specification language CCSL
• Structured operational semantics and bisimulation as a congruence
• Institutions: abstract model theory for specification and programming
• On observational equivalence and algebraic specification
• Equational specifications, complete term rewriting systems, and computable and semicomputable algebras
• Swinging types=functions+relations+transition systems
• A hidden agenda
• CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
• Title not available (Why is that?)
• Bisimulation and Hidden Algebra
• Hidden coinduction: behavioural correctness proofs for objects
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Behavioural theories and the proof of behavioural properties
• Title not available (Why is that?)
• Institution morphisms
• Coalgebras for binary methods: Properties of bisimulations and invariants
• Module algebra
• Title not available (Why is that?)
• Constructor-based observational logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Automated deduction in classical and non-classical logics. Selected papers
• Title not available (Why is that?)
• Title not available (Why is that?)
• Context induction: A proof principle for behavioural abstractions and algebraic implementations
• Modular correctness proofs of behavioural implementations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Observational specifications and the indistinguishability assumption
• 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
• Behavioral and coinductive rewriting
• Greatest bisimulations for binary methods
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic-coalgebraic specification in CoCasl.
• Equational axiomatizability for coalgebra

Cited In (6)

• Algebraic Valuations as Behavioral Logical Matrices
• Behavioral algebraization of logics
• Inductive behavioral proofs by unhiding
• Behavioral algebraization of da Costa's \({\mathcal C}\)-systems
• Categorical abstract algebraic logic: behavioral \(\pi\)-institutions
• Abstract valuation semantics

Uses Software

• CCSL
• OBJ3
• CafeOBJ
• Maude
• CoCasl

This page was built for publication: Behavioral abstraction is hiding information

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