Università di Pisa
Sistema bibliotecario di ateneo

Enhancing reaction systems: a process algebraic approach

Brodo, Linda and Bruni, Roberto and Falaschi, Moreno (2019) Enhancing reaction systems: a process algebraic approach. Technical Report del Dipartimento di Informatica, TR . University of Pisa, Pisa, IT. (Unpublished)

PDF - Draft Version
Available under License Creative Commons Attribution No Derivatives.

Download (449Kb) | Preview


    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 reactions. This model has already been applied and extended successfully to various areas of research. Reaction systems interact with the environment represented by the context, and pose problems of implementation, as it is a new computation model. In this paper we consider the link-calculus, which allows to model multiparty interaction in concurrent systems, and show that it allows to embed reaction systems, by representing the behaviour of each entity and preserving faithfully their features. We show the correctness and completeness of our embedding. We illustrate our framework by showing how to embed a lac operon regulatory network. Finally, our framework can contribute to increase the expressiveness of reaction systems, by exploiting the interaction among different reaction systems.

    Item Type: Book
    Subjects: Area01 - Scienze matematiche e informatiche > INF/01 - Informatica
    Divisions: Dipartimenti (from 2013) > DIPARTIMENTO DI INFORMATICA
    Depositing User: Prof Roberto Bruni
    Date Deposited: 12 Apr 2019 09:33
    Last Modified: 13 May 2019 12:36
    URI: http://eprints.adm.unipi.it/id/eprint/2393

    Repository staff only actions

    View Item