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.


    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.


    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


    Activity Overview

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item