Add to ORKGIn this paper we address the issue of providing a structured coalgebra presentation of transition systems with algebraic structure on states determined by an equational specification $\Gamma$. More precisely, we aim at representing such systems as coalgebras for an endofunctor on the category of $\Gamma$-algebras. The systems we consider are specified by usin
In this report we study the connection between two well known models for interactive systems. Reacti...
In this paper we investigate the connection between two well known models for interactive systems. R...
AbstractLogical definability is investigated for certain classes of coalgebras related to state-tran...
AbstractIn this paper we address the issue of providing a structured coalgebra presentation of trans...
AbstractIn this paper we address the issue of providing a structured coalgebra presentation of trans...
In this paper we address the issue of providing a structured coalgebra presentation of transition sy...
In this paper we address the issue of providing a structured coalgebra presentation of transition sy...
AbstractThis paper relates labelled transition systems and coalgebras with the motivation of compari...
AbstractIn this paper we address the issue of providing a structured coalgebra presentation of trans...
AbstractThis paper relates labeled transition systems and coalgebras with the motivation of comparin...
textabstractBy representing transition systems as coalgebras, the three main ingredients of their th...
The aim of this paper is to investigate the relation between two models of concurrent systems: tile ...
AbstractWe give an axiomatic account of what structure on a category C and an endofunctor H on C yie...
AbstractWe give an axiomatic account of what structure on a category C and an endofunctor H on C yie...
We propose an abstract framework for modeling state-based systems with internal behavior as e.g. giv...
In this report we study the connection between two well known models for interactive systems. Reacti...
In this paper we investigate the connection between two well known models for interactive systems. R...
AbstractLogical definability is investigated for certain classes of coalgebras related to state-tran...
AbstractIn this paper we address the issue of providing a structured coalgebra presentation of trans...
AbstractIn this paper we address the issue of providing a structured coalgebra presentation of trans...
In this paper we address the issue of providing a structured coalgebra presentation of transition sy...
In this paper we address the issue of providing a structured coalgebra presentation of transition sy...
AbstractThis paper relates labelled transition systems and coalgebras with the motivation of compari...
AbstractIn this paper we address the issue of providing a structured coalgebra presentation of trans...
AbstractThis paper relates labeled transition systems and coalgebras with the motivation of comparin...
textabstractBy representing transition systems as coalgebras, the three main ingredients of their th...
The aim of this paper is to investigate the relation between two models of concurrent systems: tile ...
AbstractWe give an axiomatic account of what structure on a category C and an endofunctor H on C yie...
AbstractWe give an axiomatic account of what structure on a category C and an endofunctor H on C yie...
We propose an abstract framework for modeling state-based systems with internal behavior as e.g. giv...
In this report we study the connection between two well known models for interactive systems. Reacti...
In this paper we investigate the connection between two well known models for interactive systems. R...
AbstractLogical definability is investigated for certain classes of coalgebras related to state-tran...