Articles
Intensionality of Modal Logic for Robust Ambient Calculus

https://doi.org/10.1016/S1571-0661(05)80085-4Get rights and content
Under a Creative Commons license
open access

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.

The authors thank the three referees for many constructive suggestions and comments.

Keywords

Concurrent theory
Process algebra
Mobile ambient
Modal logic
Intensionality

Cited by (0)

1

Supported by NNSFC (No.60273034, No.60233010), the 863 Hi-Tech Project (No.2002AA116010), the 973 Program of China (No.2002CB312002)