Everything Is PSPACE-Complete in Interaction Systems
Everything Is PSPACE-Complete in Interaction Systems
复制标题
交互系统中的一切都是 PSPACE-Complete
DOI：
10.1007/978-3-540-85762-4_15
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
Christoph Minnameier
中科院分区：
文献类型：
--
作者：
M. Majster;Christoph Minnameier
我们研究交互系统的复杂性问题，这是基于组件的系统的通用模型，允许非常灵活的交互机制。我们展示了交互系统重要属性的复杂性结果，例如局部/全局无死锁、组件的进度和可用性。
We study complexity issues for interaction systems, a general model for component-based systems that allows for a very flexible interaction mechanism. We present complexity results for important properties of interaction systems such as local/global deadlock-freedom, progress and availability of components.
SOFSEM 2007：计算机科学的理论与实践
DOI：
10.1007/978-3-540-69507-3_15
发表时间：
2007
期刊：
--
影响因子：
--
作者：
Broersma H
通讯作者：
Broersma H