Computing the accessibility relation for the Ambient Calculus

Mardare, Radu and Priami, Corrado (2003) Computing the accessibility relation for the Ambient Calculus. UNSPECIFIED. (Unpublished)

Download (510Kb) | Preview


    We present some algorithms to compute the reductions of Ambient Calculus and to describe mobility and dynamic hierarchies of locations. The main idea is to treat each ambient program as a complex of a set-theoretical structure for describing the hierarchy of locations, a function for naming the nodes of the structure, and a function for registering the capabilities of each node. These complexes, named state-processes, can be seen as states for a propositional branching tree logic built upon the Ambient Calculus. We develop here, the algorithms for implementing the accessibility relation between the states of this logic. Our algorithms compute the evolution of the truth values for the atomical propositions during the firing of capabilities. The model presented in this paper permits to re-use algorithms for model checking temporal logic to approach the Ambient Calculus.

    Item Type: Departmental Technical Report
    Department or Research center: Information Engineering and Computer Science
    Subjects: Q Science > QA Mathematics > QA076 Computer software
    Report Number: DIT-03-054
    Repository staff approval on: 07 Nov 2003

    Actions (login required)

    View Item