正确通信的软件：分布式、异步及其他（扩展版）
Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version)
AI总结：
本论文以会话类型的逻辑基础为核心，研究如何在保证正确性的前提下扩展二元与多方会话类型的表达力及适用范围，以支撑分布式异步消息传递软件的可靠验证。
摘要：
我们日常生活中使用的许多软件都由分布式组件（运行在不同的核心甚至计算机上）组成，这些组件通过通信（交换消息）进行协作。开发能够为此类消息传递软件的行为提供可靠保证的稳健方法至关重要。本论文聚焦于作为通信协议的会话类型及其逻辑基础，围绕以下问题展开：我们如何推进会话类型（二元和多方）逻辑基础的边界，在保留基本正确性属性的同时，扩展其表达能力和适用性？在此背景下，本论文研究了消息传递的若干相互交织的方面。
英文摘要：
Much of the software we use in everyday life consists of distributed components (running on separate cores or even computers) that collaborate through communication (by exchanging messages). It is crucial to develop robust methods that can give reliable guarantees about the behavior of such message-passing software. With a focus on session types as communication protocols and their foundations in logic, this thesis revolves around the following question: How can we push the boundaries of the logical foundations of session types (binary and multiparty), extending their expressiveness and applicability, while preserving fundamental correctness properties? In this context, this thesis studies several intertwined aspects of message-passing.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
