BIROn - Birkbeck Institutional Research Online

    Intensionality of modal logic for robust ambient calculus

    Chen, Taolue and Han, Tingting and Lu, J. (2003) Intensionality of modal logic for robust ambient calculus. Electronic Notes in Theoretical Computer Science 85 (1), pp. 25-38. ISSN 1571-0661.

    Full text not available from this repository.

    Abstract

    Computation with mobility becomes a novel distributed computation paradigm with the development of network technology. The calculus of Mobile Ambient is a widely studied formal mechanism for describing both mobile computing and mobile computation. To improve this process calculus, Robust Mobile Ambient is introduced by providing co-actions. This paper deals with the modal logic for finite fragment of this calculus without communication primitives. In details, we compare standard behavioral equivalence with the equivalence induced by the logic (=L) and with the structural congruence. As a result, we prove the intensionality of the logic and at the same time, an axiomatization for = L is given.

    Metadata

    Item Type: Article
    School: School of Business, Economics & Informatics > Computer Science and Information Systems
    Depositing User: Sarah Hall
    Date Deposited: 16 Feb 2021 20:32
    Last Modified: 16 Feb 2021 20:32
    URI: https://eprints.bbk.ac.uk/id/eprint/43074

    Statistics

    Downloads
    Activity Overview
    0Downloads
    14Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item