In nature, fluxes across habitats often bring both nutrient and energetic resources into areas of low productivity from areas of higher productivity. These inputs can alter consumption rates of consumer and predator species in the recipient food webs, thereby influencing food web stability. Starting from a well-studied tritrophic food chain model, we investigated the impact of allochthonous inp...

We consider transformational programs, i.e. those which transform inputs into outputs, with two levels of confidentiality: high and low. Inspired by Giacobazzi and Mastroeni [GM04], we consider non-interference for the case that the low confidentiality user has only partial knowledge of low inputs and low outputs. We call such a user a weak observer. We first define a form of possibilistic non-...