Process calculi for biological processes
Abstract Systems biology is a research area devoted to developing computational
frameworks for modeling biological systems in a holistic fashion. Within this approach, the …
frameworks for modeling biological systems in a holistic fashion. Within this approach, the …
Representing dynamic biological networks with multi-scale probabilistic models
A Groß, B Kracher, JM Kraus, SD Kühlwein… - Communications …, 2019 - nature.com
Dynamic models analyzing gene regulation and metabolism face challenges when adapted
to modeling signal transduction networks. During signal transduction, molecular reactions …
to modeling signal transduction networks. During signal transduction, molecular reactions …
[PDF][PDF] Non-associative, non-commutative multi-modal linear logic
E Blaisdell, M Kanovich, SL Kuznetsov… - … Joint Conference on …, 2022 - library.oapen.org
Adding multi-modalities (called subexponentials) to linear logic enhances its power as a
logical framework, which has been extensively used in the specification of eg proof systems …
logical framework, which has been extensively used in the specification of eg proof systems …
Enhancing reaction systems: a process algebraic approach
In the area of Natural Computing, reaction systems are a qualitative abstraction inspired by
the functioning of living cells, suitable to model the main mechanisms of biochemical …
the functioning of living cells, suitable to model the main mechanisms of biochemical …
A process algebraic approach to reaction systems
In the area of Natural Computing, Reaction Systems (RSs) are a qualitative abstraction
inspired by the functioning of living cells, suitable to model the main mechanisms of …
inspired by the functioning of living cells, suitable to model the main mechanisms of …
A linear logic framework for multimodal logics
B Xavier, C Olarte, E Pimentel - Mathematical Structures in …, 2022 - cambridge.org
One of the most fundamental properties of a proof system is analyticity, expressing the fact
that a proof of a given formula F only uses subformulas of F. In sequent calculus, this …
that a proof of a given formula F only uses subformulas of F. In sequent calculus, this …
A fresh view of linear logic as a logical framework
C Olarte, E Pimentel, B Xavier - Electronic Notes in Theoretical Computer …, 2020 - Elsevier
One of the most fundamental properties of a proof system is analyticity, expressing the fact
that a proof of a given formula F only uses subformulas of F. In sequent calculus, this …
that a proof of a given formula F only uses subformulas of F. In sequent calculus, this …
Computational logic for biomedicine and neurosciences
188 Symbolic Approaches to Modeling and Analysis of Biological Systems properties. In
biomedicine, the study of multi-omic pathway interactions, together with clinical and …
biomedicine, the study of multi-omic pathway interactions, together with clinical and …
[HTML][HTML] On concurrent behaviors and focusing in linear logic
C Olarte, E Pimentel - Theoretical Computer Science, 2017 - Elsevier
Abstract Concurrent Constraint Programming (CCP) is a simple and powerful model of
concurrency where processes interact by telling and asking constraints into a global store of …
concurrency where processes interact by telling and asking constraints into a global store of …
Hybrid linear logic, revisited
K Chaudhuri, J Despeyroux, C Olarte… - … Structures in Computer …, 2019 - cambridge.org
HyLL (Hybrid Linear Logic) is an extension of intuitionistic linear logic (ILL) that has been
used as a framework for specifying systems that exhibit certain modalities. In HyLL, truth …
used as a framework for specifying systems that exhibit certain modalities. In HyLL, truth …