Verification of spatial and temporal modalities in biochemical systems

Falaschi, Moreno; Hermith, Diana; Chiarugi, Davide; Vega, Carlos Alberto Olarte

Verification of spatial and temporal modalities in biochemical systems

Página do item simplificado Estatísticas

dc.contributor.author	Falaschi, Moreno
dc.contributor.author	Hermith, Diana
dc.contributor.author	Chiarugi, Davide
dc.contributor.author	Vega, Carlos Alberto Olarte
dc.date.accessioned	2020-07-30T19:07:03Z
dc.date.available	2020-07-30T19:07:03Z
dc.date.issued	2015
dc.description.resumo	Biochemical systems such as metabolic and signaling pathways tend to be arranged in a physical space: the product of one reaction must be in the right place to become the reactant for the subsequent reaction in the pathway. Moreover, in some cases, the behavior of the systems can depend on both, the location of the reactants as well as on the time needed for the reaction to occur. We address the problem of specifying and verifying properties of biochemical systems that exhibit both temporal and spatial modalities at the same time. For that, we use as specification language a fragment of intuitionistic linear logic with subexponentials (SELL). The subexponential signature allows us to capture the spatial relations among the different components of the system and the timed constraints for reactions to occur. We show that our framework is general enough to give a declarative semantics to P-Systems and we show that such logical characterization has a strong level of adequacy. Hence, derivations in SELL follow exactly the behavior of the modeled system.	pt_BR
dc.identifier.citation	CHIARUGI, Davide; FALASCHI, Moreno; HERMITH, Diana; OLARTE, Carlos. Verification of Spatial and Temporal Modalities in Biochemical Systems. Electronic Notes In Theoretical Computer Science, [S.L.], v. 316, p. 29-44, set. 2015. Disponível em: https://www.sciencedirect.com/science/article/pii/S1571066115000389?via%3Dihub. Acesso em: 29 Jul. 2020. http://dx.doi.org/10.1016/j.entcs.2015.06.009.	pt_BR
dc.identifier.doi	10.1016/j.entcs.2015.06.009
dc.identifier.issn	1571-0661
dc.identifier.uri	https://repositorio.ufrn.br/jspui/handle/123456789/29760
dc.language	en	pt_BR
dc.publisher	Elsevier	pt_BR
dc.subject	Biochemical systems	pt_BR
dc.subject	Linear logic	pt_BR
dc.subject	Spatial	pt_BR
dc.subject	Temporal modalities	pt_BR
dc.title	Verification of spatial and temporal modalities in biochemical systems	pt_BR
dc.type	article	pt_BR