Coalgebraic description of generalized binary methods

MaRDI QIDQ2851707zbMATH OpenFDO

Authors Furio Honsell, Marina Lenisa, Rekha Redamalla

Publication date 2 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066106000880

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Coalgebraic description of generalised binary methods
• Greatest bisimulations for binary methods
• scientific article; zbMATH DE number 1497871
• scientific article; zbMATH DE number 1231635
• A coalgebraic semantics of subtyping

Cited in

(4)

• Coalgebras for binary methods: Properties of bisimulations and invariants
• Coalgebraic semantics and observational equivalences of an imperative class-based OO-language
• Greatest bisimulations for binary methods
• Coalgebraic description of generalised binary methods

This page was built for publication: Coalgebraic description of generalized binary methods

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