A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Intensionality of Modal Logic for Robust Ambient Calculus
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
doi:10.1016/s1571-0661(05)80085-4
fatcat:hiii2u4y3zgbdlkzssaombo5dq