异步多方会话类型的混合选择
计算机视觉与模式识别
2026-03-02 v1
摘要
我们提出一种包含异步混合选择（Mixed Choice, MC）的多方会话类型（MST）框架。我们提出一种核心构造，允许分布式参与者之间的协议状态出现暂时性不一致，但确保所有参与者最终都能达到相互一致的状态。我们通过建立进度属性和全局类型与分布式局部类型投影之间的操作对应性，证明了体系的正确性。基于我们的理论，我们实现了一个用于指定和验证具有 MC 的异步 MST 协议的实用工具链，并用于编程符合 gen_statem 的 Erlang/OTP 进程。我们通过使用工具链为 RabbitMQ 代理的 Erlang 部分 amqp_client 指定和重新实现来测试我们的框架。
引用
@article{arxiv.2602.23926,
title = {Leveraging Geometric Prior Uncertainty and Complementary Constraints for High-Fidelity Neural Indoor Surface Reconstruction},
author = {Qiyu Feng and Jiwei Shan and Shing Shin Cheng and Hesheng Wang},
journal= {arXiv preprint arXiv:2602.23926},
year = {2026}
}
备注
Accepted by ICRA 2026