Abstract | ||
---|---|---|
We propose a way of performing model checking analysis for biological systems. The technics were developed for a CTL* logic built upon Ambient Calculus. We introduce labeled syntax trees for ambient processes and use them as possible worlds in a Kripke structure developed for a propositional branching temporal logic. The accessibility relation over labeled syntax trees is generated by the reduction over corresponding Ambient Calculus processes. Providing the algorithms for calculating the accessibility relation between states, we open the perspective of using model checking algorithms developed for temporal logics in analyzing any phenomena described in Ambient Calculus. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1007/978-3-540-25974-9_8 | CMSB |
Keywords | Field | DocType |
temporal logic,ambient calculus,model checking,corresponding ambient calculus,syntax tree,model checking analysis,accessibility relation,biological system,ambient process,kripke structure,biological systems,possible worlds | Kripke structure,Discrete mathematics,Model checking,Accessibility relation,Computer science,Theoretical computer science,Temporal logic,Ambient calculus,Process calculus,Syntax,Possible world | Conference |
Volume | ISSN | ISBN |
3082 | 0302-9743 | 3-540-25375-0 |
Citations | PageRank | References |
10 | 0.68 | 6 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Radu Mardare | 1 | 180 | 24.17 |
Corrado Priami | 2 | 1615 | 148.58 |
Paola Quaglia | 3 | 356 | 27.06 |
oleksander vagin | 4 | 10 | 0.68 |