paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Concurrent Process Histories and Resource Transducers

并发过程历史与资源转换器
LMCS vol.Volume 19, Issue 12023匹配度 1/10 · 该论文研究并发过程物质历史的范畴论刻画(proarrow equipment 与弦图),属于纯形式语义/资源理论的代数结构工作,与用户关注的静态分析在 ML/Agentic 程序中的应用、LLM 辅助静态分析与形式化验证、浮点程序分析及贝叶斯程序分析均无直接关联。仅在“理论形式化”这一宽泛偏好上略有交集,但缺乏与分析工具、benchmark 或工业落地的连接。引用 1 inbox
Chad Nester
crossref: 2026-09-10

AI 速览

一句话:用 proarrow equipment 的字符串图刻画并发过程产生的物质历史,并构造资源转换器范畴。

本文研究并发过程所生成的物质历史具有何种代数结构。作者将已有的资源可转换性范畴理论推广到并发交互场景,从而为并发资源的转换与组合建立统一的形式框架。该形式化可用 proarrow equipment 的字符串图直观呈现,使并发过程之间的交互与资源流动获得图形化表达。论文还考察了由该结构诱导出的若干资源转换器范畴,指出这些范畴具有不寻常的结构,因而本身也值得研究。整体贡献在于连接并发过程、资源可转换性与范畴论及字符串图方法。

问题
如何在范畴论框架中刻画并发过程产生的物质历史及其资源可转换性?
方法
扩展已有的资源可转换性范畴理论以纳入并发交互,并用 proarrow equipment 的字符串图给出图形化表述,进而考察诱导出的资源转换器范畴。
评估
摘要未报告实验评估;工作以范畴构造、字符串图表示以及对诱导范畴的结构分析为展示方式。
原文摘要(Abstract)

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.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@article{paperbot2244,
  title = {Concurrent Process Histories and Resource Transducers},
  author = {Chad Nester},
  journal = {Logical Methods in Computer Science},
  volume = {Volume 19, Issue 1},
  year = {2023},
  doi = {10.46298/lmcs-19(1:7)2023}
}