@CONFERENCE\{IMM2006-04809,
    author       = "H. Pilegaard and F. Nielson and H. R. Nielson",
    title        = "Context Dependent Analysis of BioAmbients",
    year         = "2006",
    month        = "mar",
    keywords     = "Static analysis, abstract interpretation, BioAmbients",
    booktitle    = "Emerging Aspects of Abstract Interpretation 2006",
    volume       = "",
    series       = "",
    editor       = "Roberto Giacobazzi and Francesco Ranzato",
    publisher    = "",
    organization = "",
    address      = "",
    note         = "Printed in informal proceedings only",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/4809-full.html",
    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."
}