Molecular interaction

We introduce and study abstract structures which are suitable for expressing molecular interaction. The abstract structures are able to manage shared resources and to describe the use of shared resources. We show that these structures can provide an interpretation of the π-calculus, a known calculus of communicating concurrent systems. We briefly describe DNA methylation by using the π-calculus. Molecular interactions during DNA methylation imply changes of conformation and other modifications; these changes can be modelled by substitutions. Formally, we use some notions and results of the concurrency theory, particularly related to the π-calculus and multiset semantics.

[1]  Mario Tokoro,et al.  An Object Calculus for Asynchronous Communication , 1991, ECOOP.

[2]  Gabriel Ciobanu,et al.  A Pi-calculus Machine , 2000, J. Univers. Comput. Sci..

[3]  Peter Wegner,et al.  Interactive , 2021, Encyclopedia of the UN Sustainable Development Goals.

[4]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[5]  Gabriel Ciobanu,et al.  Molecular structures , 2001, Where Mathematics, Computer Science, Linguistics and Biology Meet.

[6]  Gabriel Ciobanu.  On a Formal Description of the Molecular Processes , 2000, Recent Topics in Mathematical and Computational Linguistics.

[7]  Robin Milner,et al.  Elements of interaction: Turing award lecture , 1993, CACM.

[8]  Robin Milner.  Functions as Processes , 1990, ICALP.

[9]  Davide Sangiorgi,et al.  Communicating and Mobile Systems: the π-calculus, , 2000 .

[10]  Glynn Winskel,et al.  Models for Concurrency , 1994 .

[11]  R. Singal,et al.  DNA methylation. , 1999, Blood.

[12]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[13]  Robin Milner,et al.  Elements of interaction , 1993 .