Sciweavers

Share
FCT
1999
Springer

Tile Transition Systems as Structured Coalgebras

11 years 6 months ago
Tile Transition Systems as Structured Coalgebras
The aim of this paper is to investigate the relation between two models of concurrent systems: tile rewrite systems and coalgebras. Tiles are rewrite rules with side e ects which are endowed with operations of parallel and sequential composition and synchronization. Their models can be described as monoidal double categories. Coalgebras can be considered, in a suitable mathematical setting, as dual to algebras. They can be used as models of dynamical systems with hidden states in order to study concepts of observational equivalence and bisimilarity in a more general setting. In order to capture in the coalgebraic presentation the algebraic structure given by the composition operations on tiles, coalgebras have to be endowed with an algebraic structure as well. This leads to the concept of structured coalgebras, i.e., coalgebras for an endofunctor on a category of algebras. However, structured coalgebras are more restrictive than tile models. Those models which can be presented as struc...
Andrea Corradini, Reiko Heckel, Ugo Montanari
Added 04 Aug 2010
Updated 04 Aug 2010
Type Conference
Year 1999
Where FCT
Authors Andrea Corradini, Reiko Heckel, Ugo Montanari
Comments (0)
books