Logical Analysis of Biological Systems

Authors:
Radu Mardare;Corrado Priami
Affiliations:
(Correspd.) Department of Information and Communication Technology, Trento University, Italy. mardare@dit.unitn.it;Department of Information and Communication Technology, Trento University, Italy. mardare@dit.unitn.it
Venue:
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
Year:
2005

Citing 11
Cited 0

Temporal and modal logic

Handbook of theoretical computer science (vol. B)
Vicious circles: on the mathematics of non-wellfounded phenomena

Vicious circles: on the mathematics of non-wellfounded phenomena
Anytime, anywhere: modal logics for mobile ambients

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
Mobile ambients

Theoretical Computer Science
Application of a stochastic name-passing calculus to representation and simulation of molecular processes

Information Processing Letters
A Calculus of Communicating Systems

A Calculus of Communicating Systems
Membrane Computing: An Introduction

Membrane Computing: An Introduction
A spatial logic for concurrency (part I)

Information and Computation - TACS 2001
BioAmbients: an abstraction for biological compartments

Theoretical Computer Science - Special issue: Computational systems biology
A Logical Approach to Security in the Context of Ambient Calculus

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

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.