论文部分内容阅读
在通信协议中，很多性质都与时间相关。为了研究通信协议的时间性质，需要一种能够描述时间的形式化方法。在Mobile Ambients的基础上，用时间对其做扩展，提出一种新的形式系统——类型化实时Mobile Ambients演算。并采用实时Mobile Ambients描述了三次握手协议，结果表明了该方法的可行性。