作者：乌里·法伦伯格；克里斯蒂安·约翰森; 克里斯托弗·特罗特（Christopher A.Trotter）；Krzysztof Zimiaáski先生

我们对普拉特的直观造型过程进行了形式化描述高维自动机（HDA）。直观地说，HDA就是一个雕塑，如果可以的话嵌入（即从）单个高维细胞中（超立方体）。本文的第一个重要结果是，并非所有HDA都可以通过几种天然非环HDA进行雕刻和例证，其中一种是著名的范·格拉贝克的“破盒子”例子。此外，我们还表明，即使是自然的展开操作与雕刻完全无关，例如无法雕刻其展开部分的雕塑。我们调查雕塑的表现力，作为HDA的一个适当的子类，通过向等同于常规ST结构（基于事件的HDA对应物）和到（规则）Chu空格超过3（在其并发解释中，由普拉特）。我们相信，我们的结果为后面的直觉提供了新的线索雕刻作为一种建模并发行为的方法，显示了精确的达到了它的表现力。除了表现力，我们还开发了用于确定是否可以雕刻HDA的算法。更重要的是，我们展示了雕塑相当于欧几里得立体综合体（即组合定义的几何对应项），其中包括用于死锁检测的流行PV模型。这暴露了紧密的联系在可能有用的并发几何模型和组合模型之间用于这两个区域。