Molecular interaction

被引：4

作者：

Ciobanu, G ^{[1
]}

Rotaru, M ^{[1
]}

机构：

[1] Romanian Acad, Inst Comp Sci, Iasi, Romania

来源：

THEORETICAL COMPUTER SCIENCE | 2002年 / 289卷 / 01期

关键词：

abstract molecular structure; abstract molecular interaction; parallel and concurrent systems; pi-calculus; multiset semantics;

D O I：

10.1016/S0304-3975(02)00030-0

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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 pi-calculus, a known calculus of communicating concurrent systems. We briefly describe DNA methylation by using the pi-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 pi-calculus and multiset semantics. (C) 2002 Elsevier Science B.V. All rights reserved.

引用

页码：801 / 827

页数：27

共 13 条

[1]

CIOBANU G, 2001, WORDS SEQUENCES LANG, P299

[2]

CIOBANU G, 2000, J U COMPUT SCI, V6

[3]

HONDA K, 1991, LECT NOTES COMPUT SC, V512, P133

[4] ELEMENTS OF INTERACTION - TURING AWARD LECTURE [J].

MILNER, R .

COMMUNICATIONS OF THE ACM, 1993, 36 (01) :78-89

[5]

MILNER R, 1992, INFORM COMPUT, V100, P1, DOI [10.1016/0890-5401(92)90008-4, 10.1016/0890-5401(92)90009-5]

[6]

Milner R., 2009, Communicating and Mobile Systems: The n-calculus

[7]

Milner Robin, 1992, MATH STRUCT COMP SCI, V2, P119, DOI [10.1017/S0960129500001407, DOI 10.1017/S0960129500001407]

[8]

Paun G., 1998, DNA COMPUTING NEW CO

[9] MODELING CONCURRENCY WITH PARTIAL ORDERS [J].

PRATT, V .

INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 1986, 15 (01) :33-71

[10] DNA methylation [J].

Singal, R ;

Ginder, GD .

BLOOD, 1999, 93 (12) :4059-4070

← 1 2 →