A coalgebraic equational approach to specifying observational structures
From MaRDI portal
Publication:1603815
DOI10.1016/S0304-3975(01)00020-2zbMath1002.68095OpenAlexW2170209543MaRDI QIDQ1603815
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
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