A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Compositional Modeling of Biological Systems in CospanSpan(Graph)
2020
Italian Conference on Theoretical Computer Science
Preserved Fulltext
In this paper we investigate the expressiveness of the compositional formalism of CospanSpan(Graph) in order to model biological systems: first, we provide a compositional and timed description of the combined, complex system of the Heart and a Dual Chamber Pacemaker. Then, we consider as a case study the well-known gene regulation system in the Lac Operon in Escherichia coli.
dblp:conf/ictcs/GianolaKMST20
fatcat:n3dktrrg55hgpocjxzdbj6gsai