A coalgebraic equational approach to specifying observational structures
type: Item
instance of: scholarly article
title: A coalgebraic equational approach to specifying observational structures
zbMATH Open document ID: 1002.68095
DOI: 10.1016/S0304-3975(01)00020-2
author: Corina Cîrstea
published in: Theoretical Computer Science
publication date: 2002-07-15T00:00:00Z
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 1768002
MaRDI profile type: Publication
cites work: Q4856547
cites work: Q3839055
cites work: Institutions: abstract model theory for specification and programming
cites work: Q3032225
cites work: Coalgebraic logic
cites work: An approach to object semantics based on terminal co-algebras
cites work: Universal coalgebra: A theory of systems
full work available at URL: s0304-3975(01)00020-2
OpenAlex ID: W2170209543
description: scientific article; zbMATH DE number 1768002