论文部分内容阅读
本文首先介绍了群通信领域的发展近况和主要用于支持信息共享的异步计算机会议模型(ACC),随后用普通、随机和时间等各种Petri网对该模型进行了分析。最后为模型提出了一个‘预加入’功能,它主要通过一个预加入协议来有效地帮助应用有选择地加入ACC模型中的群活动。文中详细地从各个角度介绍了该‘预加入’功能,并用形式人的方法描述了协议的参数。