A proof theoretic view of spatial and temporal dependencies in biochemical systems
The behavior of biochemical systems such as metabolic and signaling pathways may depend on either the location of the reactants or on the time needed for a reaction to occur. In this paper we propose a formalism for specifying and verifying properties of biochemical systems that combines, coherently...
Na minha lista:
Principais autores: | Vega, Carlos Alberto Olarte, Chiarugi, Davide, Hermith, Diana, Falaschi, Moreno |
---|---|
Formato: | article |
Idioma: | English |
Publicado em: |
Elsevier
|
Assuntos: | |
Endereço do item: | https://repositorio.ufrn.br/jspui/handle/123456789/29759 https://doi.org/10.1016/j.tcs.2016.03.029 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Verification of spatial and temporal modalities in biochemical systems
por: Falaschi, Moreno, et al.
Publicado em: (2020) -
Modelling non-Markovian dynamics in biochemical reactions
por: Chiarugi, Davide, et al.
Publicado em: (2020) -
Hybrid and subexponential linear logics
por: Despeyroux, Joelle, et al.
Publicado em: (2020) -
Modalities in ecumenical systems
por: Sales, Emerson Wendlingger Dantas
Publicado em: (2021) -
A proof theoretic study of soft concurrent constraint programming
por: Pimentel, Elaine Gouvea, et al.
Publicado em: (2020)