论文研究 使用类别理论探索和建模标签事件结构

并发系统的开发提出了独特的挑战，尤其是与正确性和一致性相关的挑战，因为这样的系统通常涉及同时执行的多个交互过程。 为了应对其中的一些挑战，我们采用了标记事件结构（LES）和类别理论作为建模并发系统的正式方法。 具体而言，在本文中，我们提出了一种定义类别和相应构造（如乘积和总和）的模型的想法，以对事件和由LES表示的事件之间的关系进行建模。 为了解释这个想法，开发了几个示例。 尽管是数学上的证明，但所提出的想法有助于构建一种按构造正确的方法，用于对并发系统的LES模型进行形式化。