Reachability in Tree-Like Component Systems is PSPACE-Complete
Reachability in Tree-Like Component Systems is PSPACE-Complete
复制标题
树状组件系统中的可达性是 PSPACE 完全的
DOI：
10.1016/j.entcs.2010.05.012
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
Nils Semmelrock
中科院分区：
文献类型：
--
作者：
Mila Majster-Cederbaum;Nils Semmelrock
组件系统中的可达性问题是 PSPACE 完全的。我们在这里表明，即使是具有“树状”通信的组件系统子类中的可达性问题也是 PSPACE 完备的。为此，我们减少了量化布尔公式（QBF）是否适用于“树状”组件系统中的可达性问题的问题。
The reachability problem in component systems is PSPACE-complete. We show here that even the reachability problem in the subclass of component systems with “tree-like” communication is PSPACE-complete. For this purpose we reduce the question if a Quantified Boolean Formula (QBF) is true to the reachability problem in “tree-like” component systems.
登录
查看更多内容
交叉检查 - 基于组件的系统的可达全局状态空间的增强过度近似
DOI：
10.1007/978-3-642-04420-5_18
发表时间：
2009
期刊：
2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering
影响因子：
--
作者：
M. Majster;Christoph Minnameier
通讯作者：
Christoph Minnameier
交互系统中的一切都是 PSPACE-Complete
DOI：
10.1007/978-3-540-85762-4_15
发表时间：
2008
期刊：
2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering
影响因子：
--
作者：
M. Majster;Christoph Minnameier
通讯作者：
Christoph Minnameier
影响因子：
1.3
作者：
S. Brookes;A. W. Roscoe
通讯作者：
A. W. Roscoe
证明基于组件的编程中的死锁自由度
影响因子：
0.8
作者：
P. Inverardi;Sebastián Uchitel
通讯作者：
Sebastián Uchitel
交互系统中的活跃度
DOI：
--
发表时间：
2008
期刊：
International Workshop on Formal Aspects of Component Software
影响因子：
--
作者：
M. Majster;M. Martens;Christoph Minnameier
通讯作者：
Christoph Minnameier