A Static Analysis for Beta-Binders

Citations of this article
Mendeley users who have this article in their library.


We introduce a Control Flow Analysis, that statically approximates the dynamic behaviour of processes, expressed in the Beta-Binders calculus. Our analysis of a system is able to describe the essential behaviour of each box, tracking all the possible bindings of variables and all the possible intra- e inter-boxes communications. The analysis offers a basis for establishing static checks of biological dynamic properties. We finally apply our analysis to an example, based on an abstract specification of the interaction between a virus and cells of the immune system. © 2008 Elsevier B.V. All rights reserved.

Author supplied keywords




Bodei, C. (2008). A Static Analysis for Beta-Binders. Electronic Notes in Theoretical Computer Science, 194(3), 69–85. https://doi.org/10.1016/j.entcs.2007.12.006

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free