配置结构的扩展
分布式、并行与集群计算
2018-07-24 v1 计算机科学中的逻辑
摘要
本文定义了ST-结构(及其扩展STC-结构)。主要目的是提供来自两个不同学派的高表达力并发模型之间的具体关系：Pratt和van Glabbeek的基于状态的高维自动机方法；以及van Glabbeek和Plotkin的基于事件的配置结构和(非)纯事件结构方法。在这方面，我们比较研究了ST-结构相对于上述模型的表达能力。此外，为ST(C)-结构定义了其他并发模型中的标准概念，如步和路径、互模拟以及动作精化，并给出了相关结果。这些对ST(C)-结构的研究旨在更好地理解Pratt所描述的状态-事件对偶性，以及高维自动机的(非)循环结构。
引用
@article{arxiv.1406.0641,
title = {Extensions of Configuration Structures},
author = {Cristian Prisacariu},
journal= {arXiv preprint arXiv:1406.0641},
year = {2018}
}