关于可分布性的刻画
计算机科学中的逻辑
2015-07-01 v2
摘要
我们将分布式系统形式化为异步交互的顺序组件的一般概念。我们定义了一类相应的 Petri 网，称为 LSGA 网，并精确刻画了那些可以在显式发散下的分支 ST-双模拟（branching ST-bisimilarity）意义上实现为 LSGA 网的系统规范。
引用
@article{arxiv.1309.3883,
title = {On Characterising Distributability},
author = {Rob J. van Glabbeek and Ursula Goltz and Jens-Wolfhard Schicke-Uffmann},
journal= {arXiv preprint arXiv:1309.3883},
year = {2015}
}
备注
arXiv admin note: substantial text overlap with arXiv:1207.3597