Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
1 result

Separability in the Ambient Logic

Daniel Hirschkoff ; Etienne Lozes ; Davide Sangiorgi.
The \it{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. We study some basic questions concerning the discriminating power of AL, focusing on the equivalence on&nbsp;[&hellip;]
Published on September 4, 2008
Volume 4, Issue 3
  • < Previous
  • 1
  • Next >