Data di Pubblicazione:
2019
Abstract:
In this paper, we recall the basic features of the CospanSpan(Graph) algebra for the compositional description of reconfigurable hierarchical networks. In particular, we focus on compositionality and on the possibility of describing the interactions among physical/biological systems, using a parallel with communication operation not considered in the usual Kleene's algebra. As a novel application, we give a complete compositional description in Span(Graph) of a simplified version of the heart system.
Tipologia CRIS:
Articolo su Rivista
Keywords:
Automata; Biological Systems; Categories; Composition;
Elenco autori:
Gianola, Alessandro; Kasangian, Stefano; Manicardi, Desiree; Sabadini, Nicoletta; Schiavio, Filippo; Tini, Simone
Link alla scheda completa:
Pubblicato in: