A Computational Model of the Secondary Hemostasis Pathway in Reaction Systems

Autor: Asma Bendjeddou, Linda Brodo, Moreno Falaschi, Elisa B. P. Tiezzi

Publikováno v: Mathematics, Vol 12, Iss 15, p 2422 (2024)

Reaction Systems (RSs) are a computational framework inspired by biochemical mechanisms. An RS defines a finite set of reactions over a finite set of entities (molecules, proteins, etc). Starting from an initial set of entities (the initial state), a

Externí odkaz: https://doaj.org/article/af8e364f5e544247aeb7d9e84b295bda

Dynamic Slicing of Reaction Systems Based on Assertions and Monitors

Autor: Linda Brodo, Roberto Bruni, Moreno Falaschi

Publikováno v: Practical Aspects of Declarative Languages ISBN: 9783031248405

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::019c0b4a20d7fc6dafa451df254e5334
https://doi.org/10.1007/978-3-031-24841-2_8

A logical and graphical framework for reaction systems

Autor: Moreno Falaschi, Linda Brodo, Roberto Bruni

Reaction Systems (RSs) are a successful computational framework inspired by biological systems. A RS pairs a set of entities with a set of reactions over them. Entities can be used to enable or inhibit each reaction, and are produced by reactions. En

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c5cd427dfd56ccacc29e4119cd225dc2
http://hdl.handle.net/11365/1140022

A process algebraic approach to reaction systems

Autor: Linda Brodo, Moreno Falaschi, Roberto Bruni

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 biochemical reactions. RSs interact with a context, and pose challenges for m

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9d0ca545feec3044c6d0567916ae52a7
http://hdl.handle.net/11568/1106499

Dynamic slicing for Concurrent Constraint Languages

Autor: Maurizio Gabbrielli, Catuscia Palamidessi, Moreno Falaschi, Carlos Olarte

Publikováno v: Fundamenta Informaticae
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, In press
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2020, 177 (3-4), pp.331-357. ⟨10.3233/FI-2020-1992⟩
Fundamenta Informaticae, 2020, 177 (3-4), pp.331-357. ⟨10.3233/FI-2020-1992⟩

International audience; Concurrent Constraint Programming (CCP) is a declarative model for concurrency where agents interact by telling and asking constraints (pieces of information) in a shared store. Some previous works have developed (approximated

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5bbb85bea2de01d359aa9e269fc9ddc9
https://hal.archives-ouvertes.fr/hal-02423973