Michele Bugliesi

Learn More
<i>Boxed Ambients</i> are a variant of Mobile Ambients that result from dropping the open capability and introducing new primitives for ambient communication. The new model of communication is faithful to the principles of distribution and location-awareness of Mobile Ambients, and complements the constructs in and out for mobility with finer-grained(More)
Boxed Ambients are a variant of Mobile Ambients, that result from (i) dropping the open capability and (ii) providing new primitives for ambient communication while retaining the constructs in and out for mobility. The new model of communication is faithful to the principles of distribution and locationawareness of Mobile Ambients, and complements the(More)
Boxed Ambients (BA) replace Mobile Ambients’ open capability with communication primitives acting across ambient boundaries. The expressiveness of the new model of communication is achieved at the price of interferences that affect message reception and whose resolution requires synchronisation of activities at multiple, distributed locations. We study a(More)
In this paper we discuss a new semantic characterization of inheritance in logic programming. Our approach is inspired both by existing literature on denotational models for inheritance and by earlier work on the semantics of dynamic logic programs. We consider a general form of inheritance which incorporates notions such as overriding between inherited(More)
The research on modular logic programming has evolved along two different directions during the past decade. Various papers have focused primarily on the problems of programming-in-the-large. They have proposed module systems equipped with compositional operators for building programs as combinations of separate and independent components. Other proposals(More)
Boxed Ambients (BA) replace Mobile Ambients’open capability with communication primitives acting across ambient boundaries. Expressiveness is achieved at the price of communication interferences on message reception whose resolution requires synchronisation of activities at multiple, distributed locations. We study a variant of BA aimed at controlling(More)
<lb>We introduce a typed variant of Safe Ambients, named Secure Safe Ambients (SSA), whose type sys-<lb>tem allows behavioral invariants of ambients to be expressed and verified. The most significant aspect of<lb>the type system is its ability to capture both explicit and implicit process and ambient behavior: process<lb>types account not only for immediate(More)
<i>Secure Safe Ambients</i> (SSA) are a typed variant of <i>Safe Ambients</i> [9], whose type system allows behavioral invariants of ambients to be expressed and verified. The most significant aspect of the type system is its ability to capture <i>both</i> explicit <i>and</i> implicit process and ambient behavior: process types account not only for(More)