Controlling interference in 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
Enhanced operational semantics: a tool for describing and analyzing concurrent systems
ACM Computing Surveys (CSUR)
Performance Evaluation of Mobile Processes via Abstract Machines
IEEE Transactions on Software Engineering
Information Processing Letters
Principles of Program Analysis
Principles of Program Analysis
Language-based performance prediction for distributed and mobile systems
Information and Computation
Validating firewalls using flow logics
Theoretical Computer Science
INTERACT: An Object Oriented Protein-Protein Interaction Database
Proceedings of the Seventh International Conference on Intelligent Systems for Molecular Biology
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Nordic Journal of Computing
ESOP'03 Proceedings of the 12th European conference on Programming
Static analysis for systems biology
WISICT '04 Proceedings of the winter international synposium on Information and communication technologies
Ten top reasons for systems biology to get into model-driven engineering
Proceedings of the 2006 international workshop on Global integrated model management
A Static Analysis for Beta-Binders
Electronic Notes in Theoretical Computer Science (ENTCS)
Control Flow Analysis for Brane Calculi
Electronic Notes in Theoretical Computer Science (ENTCS)
A Control Flow Analysis for Beta-binders with and without static compartments
Theoretical Computer Science
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Expressiveness of generic process shape types
TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
Flow Logic for Process Calculi
ACM Computing Surveys (CSUR)
A new occurrence counting analysis for bioambients
APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems
An Analysis for Causal Properties of Membrane Interactions
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.01 |
This paper presents a static analysis for investigating properties of biological systems specified in BioAmbients. We exploit the control flow analysis to decode the bindings of variables induced by communications and to build a relation of the ambients that can interact with each other. We eventually apply our analysis to an example of gene regulation by positive feedback taken from the literature.