Document Open Access Logo

Context Dependent Analysis of BioAmbients

Authors Henrik Pilegaard, Hanne Riis-Nielson, Flemming Nielson



PDF
Thumbnail PDF

File

DagSemProc.06161.6.pdf
  • Filesize: 303 kB
  • 18 pages

Document Identifiers

Author Details

Henrik Pilegaard
Hanne Riis-Nielson
Flemming Nielson

Cite AsGet BibTex

Henrik Pilegaard, Hanne Riis-Nielson, and Flemming Nielson. Context Dependent Analysis of BioAmbients. In Simulation and Verification of Dynamic Systems. Dagstuhl Seminar Proceedings, Volume 6161, pp. 1-18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2006)
https://doi.org/10.4230/DagSemProc.06161.6

Abstract

BioAmbients is a derivative of mobile ambients that has shown promise of describing interesting features of the behaviour of biological systems. The technical contribution of this paper is to extend the Flow Logic approach to static analysis with a couple of new techniques in order to give precise information about the behaviour of systems written in BioAmbients. Applying the development to a simple model of a cell releasing nutrients from food compunds we illustrate how the proposed analysis does indeed improve on previous efforts.
Keywords
  • Static analysis
  • abstract interpretation
  • BioAmbients

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail