Is it a "Good" Encoding of Mixed Choice? (Technical Report)
Is it a "Good" Encoding of Mixed Choice? (Technical Report)
复制标题
它是混合选择的“好”编码吗？
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
U. Nestmann
中科院分区：
文献类型：
--
作者：
Kirstin Peters;U. Nestmann
混合选择是过程计算中的一种原始性，因为它可以在分布式过程网络中打破对称性。我们认为“好”是一种至关重要的新颖性，我们引入了一个合适的标准，以衡量是否保留了过程网络中的分布程度。
Mixed choice is a widely-used primitive in process calculi. It is interesting, as it allows to break symmetries in distributed process networks. We present an encoding of mixed choice in the context of the π-calculus and investigate to what extent it can be considered "good". As a crucial novelty, we introduce a suitable criterion to measure whether the degree of distribution in process networks is preserved.
SOFSEM 2007：计算机科学的理论与实践
DOI：
10.1007/978-3-540-69507-3_15
发表时间：
2007
期刊：
--
影响因子：
--
作者：
Broersma H
通讯作者：
Broersma H