Molecular interaction

AbstractWe 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