BBC中的广播与聚合
计算机科学中的逻辑
2016-02-12 v1
摘要
在多方通信至关重要的分布式系统中，两种通信范式始终存在：(1) 一对多，通常记为广播；(2) 多对一，记为聚合或收集。本文我们提出 BBC 进程演算，其固有地对广播和聚合通信模式建模。我们随后应用该进程演算来推理分层网络结构，并给出关于其表达能力的示例。
引用
@article{arxiv.1602.03592,
title = {Broadcast and aggregation in BBC},
author = {Hans Hüttel and Nuno Pratas},
journal= {arXiv preprint arXiv:1602.03592},
year = {2016}
}
备注
In Proceedings PLACES 2015, arXiv:1602.03254