Intensionality of Modal Logic for Robust Ambient Calculus

Taolue Chen, Tingting Han, Jian Lu
2003 Electronical Notes in Theoretical Computer Science  
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
more » ... alence 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.
doi:10.1016/s1571-0661(05)80085-4 fatcat:hiii2u4y3zgbdlkzssaombo5dq