论文标题
并发过程历史和资源传感器
Concurrent Process Histories and Resource Transducers
论文作者
论文摘要
我们确定并发过程产生的材料历史的代数结构。具体而言，我们将资源可转换性的现有分类理论扩展到捕获并发交互。我们的形式主义通过弦图来接受直观的图形呈现，用于主管设备。我们还考虑了某些引起的资源传感器类别，由于其异常结构，它们具有独立的兴趣。
We identify the algebraic structure of the material histories generated by concurrent processes. Specifically, we extend existing categorical theories of resource convertibility to capture concurrent interaction. Our formalism admits an intuitive graphical presentation via string diagrams for proarrow equipments. We also consider certain induced categories of resource transducers, which are of independent interest due to their unusual structure.
