Logical Analysis of Biological Systems

Issue title: Contagious Creativity – In Honor of the 80th Birthday of Professor Solomon Marcus

Article type: Research Article

Authors: Mardare, Radu | Priami, Corrado

Affiliations: Department of Information and Communication Technology, Trento University, Italy. mardare@dit.unitn.it

Note: [] Address for correspondence: Via Sommarive 14, I-38050 POVO, Trento (TN) – Italy

Abstract: Our paper proposes a technique for performing logical analysis over the calculi for communication and mobility, i.e., Ambient Calculus type of calculi. We show how this analysis can be used in the case of biological models in order to obtain significant information for biologists. The technique is based on set theoretical models we developed for ambient processes by using the power of Hypersets Theory. These models are further used as possible worlds in a Kripke structure organized for a propositional branching temporal logic. Providing the temporal logical structure for the accessibility relation between ambient processes, we open the perspective of reusing model checking algorithms developed for temporal logics in analyzing any phenomena that can be described by these calculi.

Keywords: Hypersets, process algebra, ambient calculus, temporal logics, model checking

Journal: Fundamenta Informaticae, vol. 64, no. 1-4, pp. 275-289, 2005