Biology as Reactivity

被引：27

作者：

Fisher, Jasmin ^{[1
]}

Harel, David ^{[2
]}

Henzinger, Thomas A. ^{[3
]}

机构：

[1] Microsoft Res Cambridge Programming Principles &, Cambridge, England

[2] Weizmann Inst Sci, Dept Comp Sci & Appl Math, IL-76100 Rehovot, Israel

[3] Univ Calif Berkeley, Berkeley, CA 94720 USA

来源：

COMMUNICATIONS OF THE ACM | 2011年 / 54卷 / 10期

关键词：

SYSTEMS; MODEL; ABSTRACTION; SIMULATION; DYNAMICS;

D O I：

10.1145/2001269.2001289

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

[No abstract available]

引用

页码：72 / 82

页数：11

共 77 条

[1]

ALUR R, 1999, FORM METHOD SYST DES, V15, P48

[2]

ALUR R, 1990, P INT C AUT LANG PRO, V17, P322

[3] GemCell: A generic platform for modeling multi-cellular biological systems [J].

Amir-Kroll, Hila ;

Sadot, Avital ;

Cohen, Irun R. ;

Harel, David .

THEORETICAL COMPUTER SCIENCE, 2008, 391 (03) :276-290

[4]

[Anonymous], 1990, HDB THEORETICAL COMP

[5]

[Anonymous], 2001, Model checking

[6]

[Anonymous], 1989, C RECORD 16 ANN ACM, DOI [DOI 10.1145/75277.75293, 10.1145/75277.75293]

[7]

Arkin A, 1998, GENETICS, V149, P1633

[8] Signal transduction in bacterial chemotaxis [J].

Baker, MD ;

Wolanin, PM ;

Stock, JB .

BIOESSAYS, 2006, 28 (01) :9-22

[9]

BARJIS J, 1999, P INT C INF INT SYST

[10] Validation of qualitative models of genetic regulatory networks by model checking:: analysis of the nutritional stress response in Escherichia coli [J].

Batt, G ;

Ropers, D ;

de Jong, H ;

Geiselmann, J ;

Mateescu, R ;

Page, M ;

Schneider, D .

BIOINFORMATICS, 2005, 21 :I19-I28

← 1 2 3 4 5 6 7 8 →