A coalgebraic equational approach to specifying observational structures

DOI10.1016/S0304-3975(01)00020-2zbMath1002.68095OpenAlexW2170209543MaRDI QIDQ1603815

Corina Cîrstea

Publication date: 15 July 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(01)00020-2

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items

Complete sets of cooperations, Coalgebras for Binary Methods: Properties of Bisimulations and Invariants, Object oriented institutions to specify symbolic computation systems, Observational Coalgebras and Complete Sets of Co-operations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Coalgebraic logic
• Universal coalgebra: A theory of systems
• Institutions: abstract model theory for specification and programming
• An approach to object semantics based on terminal co-algebras