确定性并发系统
Deterministic concurrent systems
摘要：
我们引入确定性并发系统作为并发系统的一个子类。确定性并发系统是“局部可交换”并发系统。证明了不可约确定性并发系统具有唯一的概率动力学，并利用其解析组合学性质对这些系统进行了研究。
英文摘要：
We introduce deterministic concurrent systems as a subclass of concurrent systems. Deterministic concurrent system are "locally commutative" concurrent systems. We prove that irreducible and deterministic concurrent systems have a unique probabilistic dynamics, and we characterise these systems by means of their analytic combinatorics properties.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
