Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
1 result

On the Expressiveness of the Ambient Logic

Daniel Hirschkoff ; Etienne Lozes ; Davide Sangiorgi.
The Ambient Logic (AL) has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients (MA), and as a basis for query languages on semistructured data. In this paper, we study the expressiveness of AL. We define formulas for capabilities and for communication in&nbsp;[&hellip;]
Published on March 30, 2006
Volume 2, Issue 2
  • < Previous
  • 1
  • Next >