时态逻辑与并发程序_张广泉.pdfVIP

　1999 年1 月 重庆大学学报　(自然科学版) Vol.22　 第22 卷第1 期 Journal of Chongqing University(Natural Science Edition) Jan.1999 张 广 泉　　　戎　玫 (, , 400044) 　　　　分别阐述了基于Manna-Pnueli 框架的命题线性时态逻辑PLTL 和基 于共享变量方式的并发程序(转换 )模型, 并给出该模型与转换系统之间的对应 关系;将时态逻辑与公平转换系统FTS 相结合来描述并发程序及其性质(公平性、 安全性及活性);指出了时态逻辑具备其它形式化方法(FSM、Petri 网)所没有的 一 些优势。 　　　并发处理 时态逻辑;并发程序;公平转换系统;公平性;安全性;活 性 　　　TP311 0 　引　言