一种随机广播π演算
摘要：随机广播PI-演算用于模拟基于服务器-客户端的系统，其中同步始终由一个参与者管理。因此，不需要确定联合同步率。我们还考虑立即转换，这对于模拟对系统的时间特性没有影响的行为很有用。由于立即转换可能引入非确定性，我们将展示如何解决这些非确定性，并最终得到一个有效的CTMC。还给出了一些实际示例来展示此演算的应用。
作者：Lei Song (IT University of Copenhagen, Denmark), Flemming Nielson (Technical University of Denmark), Bo Friis Nielsen (Technical University of Denmark)
论文ID：1107.1202
分类：Performance
分类简称：cs.PF
提交时间：2011-07-07