物联网的语义理论
计算机科学中的逻辑
2016-02-24 v3
摘要
我们提出一种进程演算用于建模物联网范式下的系统。我们的系统既通过传感器和执行器与物理环境交互，也通过短距离和互联网通道与智能设备交互。该演算配备了一个标准互模拟概念，它是著名上下文等价性的完全抽象刻画。我们使用我们的语义证明方法来证明非平凡物联网系统的运行时属性以及系统等价性。
引用
@article{arxiv.1510.04854,
title = {A Semantic Theory of the Internet of Things},
author = {Valentina Castiglioni and Ruggero Lanotte and Massimo Merro},
journal= {arXiv preprint arXiv:1510.04854},
year = {2016}
}
备注
The contribution of Valentina Castiglioni is limited to an early writing of some of the proofs in the Appendix