paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Higher-dimensional automata modeling shared-variable systems

用高维自动机建模共享变量系统
LMCS vol.Volume 15, Issue 32019匹配度 2/10 · 该论文属于并发系统的形式语义/高维自动机建模，与用户核心关注的静态分析、LLM/Agent、浮点程序分析及贝叶斯程序分析没有直接交集；仅在PL形式语义与并发理论上有较远的背景关联。引用 1 inbox
Thomas Kahl
形式语义并发、并行与内存模型
crossref: 2026-09-10

AI 速览

一句话：提出用高维自动机组合式建模共享变量系统的构造，其中并行组合对应张量积、非确定性选择对应余积。

本文关注共享变量系统的并发语义建模问题。作者提出一种将共享变量系统构造为高维自动机（HDA）的方法，并强调其组合性：完全独立系统的并行组合由 HDA 的标准张量积建模，非确定性选择由余积表示。该构造使得可以借助 HDA 的代数与范畴结构，以组合方式描述共享变量程序中的并发、冲突与交错行为。摘要未报告具体实现或实验评估，贡献主要是理论构造与组合性对应关系。

问题
如何为共享变量系统给出组合式的高维自动机语义模型。
方法
构造从共享变量系统到高维自动机（HDA）的映射，使完全独立系统的并行组合对应标准张量积，非确定性选择对应余积。
评估
摘要未涉及实验或案例评估；评估体现为构造满足组合性性质，即张量积与余积分别对应并行组合和非确定性选择。
原文摘要（Abstract）

The purpose of this paper is to provide a construction to model shared-variable systems using higher-dimensional automata which is compositional in the sense that the parallel composition of completely independent systems is modeled by the standard tensor product of HDAs and nondeterministic choice is represented by the coproduct.

链接与引用

DOI 原文 · PDF（开放获取） ·

BibTeX 
@article{paperbot757,
  title = {Higher-dimensional automata modeling shared-variable systems},
  author = {Thomas Kahl},
  journal = {Logical Methods in Computer Science},
  volume = {Volume 15, Issue 3},
  year = {2019},
  doi = {10.23638/lmcs-15(3:28)2019}
}