摘要：声明式分布式系统（DDS）是基于逻辑编程的分布式系统。虽然一般情况下DDS的模型检查是不可判定的，但我们通过调整数据源边界、消息表达能力和通道类型来检测可判定的情况。
作者：Francesco Di Cosmo
论文ID：2308.10007
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-08-22
PDF 下载： 英文版 中文版pdf翻译中