惰性有界声明式分布式系统的有时终止验证
计算机科学中的逻辑
2023-08-22 v1
摘要
声明式分布式系统（DDS）是基于逻辑编程的分布式系统。尽管 DDS 模型检测一般是不可判定的，我们通过对数据源边界、消息表达能力和通道类型进行调整，检测出可判定情形。
引用
@article{arxiv.2308.10007,
title = {Verification of Sometimes Termination of Lazy-Bounded Declarative Distributed Systems},
author = {Francesco Di Cosmo},
journal= {arXiv preprint arXiv:2308.10007},
year = {2023}
}
备注
Published in the online proceedings of the ESSLLI 2021 Student Session