Coalgebraic description of generalized binary methods

zbMATH Open1272.68282MaRDI QIDQ2851707FDOQ2851707

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

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

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

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)