@inproceedings{7b3f0296d0b04f2ba27bb05af4baaa79,
title = "Model checking biological systems described using ambient calculus",
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.",
keywords = "model checking analysis, biological systems, ambient calculus, labeled syntax trees, Kripke structure, propositional branching temporal logic, accessibility relation between states, temporal logics",
author = "Radu Mardare and Corrado Priami and Paola Quaglia and Oleksandr Vagin",
note = "{\textcopyright} 2005 Springer-Verlag Berlin Heidelberg Mardare, R., Priami, C., Quaglia, P., Vagin, O. (2005). Model Checking Biological Systems Described Using Ambient Calculus. In: Danos, V., Schachter, V. (eds) Computational Methods in Systems Biology. CMSB 2004. Lecture Notes in Computer Science(), vol 3082. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25974-9\_8",
year = "2005",
doi = "10.1007/978-3-540-25974-9\_8",
language = "English",
isbn = "978-3-540-25375-4",
volume = "3082",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "85--103",
editor = "V. Danos and V. Schachter",
booktitle = "Computational Methods in Systems Biology. CMSB 2004",
}