scientific article; zbMATH DE number 1497871

zbMATH Open0966.68049MaRDI QIDQ4499302FDOQ4499302

Authors: Hendrik Tews 

Publication date: 5 March 2001

Title of this publication is not available (Why is that?)

Recommendations

• Coalgebras for binary methods: Properties of bisimulations and invariants
• Coalgebraic description of generalised binary methods
• Coalgebraic description of generalized binary methods
• Coalgebras in functional programming and type theory
• scientific article

zbMATH Keywords

coalgebrasobject oriented languages

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cited In (5)

• From algebras and coalgebras to dialgebras
• Coalgebras for binary methods: Properties of bisimulations and invariants
• Coalgebraic description of generalized binary methods
• Coalgebraic description of generalised binary methods
• Behavioral abstraction is hiding information

This page was built for publication:

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