Ambient Logic 的表达能力
计算机科学中的逻辑
2017-01-11 v2
摘要
Ambient Logic (AL) 用于表达 Mobile Ambients (MA) 中的过程移动性属性，以及作为 semistructured 数据查询语言的基础。本文研究 AL 的表达能力。我们定义用于描述能力和通信的公式。我们还推导出捕获 term 有限性、name 出现次数和持久性的公式。我们研究涉及更复杂通信形式的计算的扩展，并为该逻辑在 MA 子计算上的等价定义特征公式。该子计算通过对 MA process 的 reducts 施加 image-finiteness 条件来定义。
引用
@article{arxiv.cs/0510010,
title = {On the Expressiveness of the Ambient Logic},
author = {Daniel Hirschkoff and Etienne Lozes and Davide Sangiorgi},
journal= {arXiv preprint arXiv:cs/0510010},
year = {2017}
}