Coalgebras for Binary Methods: Properties of Bisimulations and Invariants

DOI10.1051/ita:2001110zbMath0983.68126OpenAlexW2098594919MaRDI QIDQ2747943

Hendrik Tews

Publication date: 23 January 2002

Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL: http://www.numdam.org/item?id=ITA_2001__35_1_83_0

zbMATH Keywords

object-oriented languagescoalgebras for endofunctors

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30)

Related Items (3)

Coalgebras, Chu spaces, and representations of physical systems ⋮ Behavioral abstraction is hiding information ⋮ Greatest Bisimulations for Binary Methods

Uses Software

• CCSL
• PVS
• Eiffel
• OCaml
• Automath

Cites Work

• Structural induction and coinduction in a fibrational setting
• Categorical logic and type theory
• A hidden agenda
• A small final coalgebra theorem
• Universal coalgebra: A theory of systems
• A coalgebraic equational approach to specifying observational structures
• An approach to object semantics based on terminal co-algebras
• From Algebras and Coalgebras to Dialgebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Coalgebras for Binary Methods: Properties of Bisimulations and Invariants