序代数：相互作用的定量模型
Order algebras: a quantitative model of interaction
摘要：
提出了一种并发交互作用的定量模型。基本对象是偏序关系的线性组合，由一组代表同步中潜在非确定性的排列作用。这种代数结构的有限过程代数提供忠实的解释，测试语义的标准概念的扩展，导致一个模型，这是既指称（在这个意义上说，内部工作的过程被忽略）和非交织。代数及其子空间上的构造具有良好的结构，使它们（几乎）成为微分线性逻辑的模型，这表明将非确定性表示为线性组合的基本方法是相同的。
英文摘要：
A quantitative model of concurrent interaction is introduced. The basic objects are linear combinations of partial order relations, acted upon by a group of permutations that represents potential non-determinism in synchronisation. This algebraic structure is shown to provide faithful interpretations of finitary process algebras, for an extension of the standard notion of testing semantics, leading to a model that is both denotational (in the sense that the internal workings of processes are ignored) and non-interleaving. Constructions on algebras and their subspaces enjoy a good structure that make them (nearly) a model of differential linear logic, showing that the underlying approach to the representation of non-determinism as linear combinations is the same.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
