10.3969/j.issn.1000-582X.1999.01.009
时态逻辑与并发程序
分别阐述了基于Manna-Pnueli框架的命题线性时态逻辑PLTL和基于共享变量方式的并发程序(转换图)模型,并给出该模型与转换系统之间的对应关系;将时态逻辑与公平转换系统FTS相结合来描述并发程序及其性质(公平性、安全性及活性);指出了时态逻辑具备其它形式化方法(FSM、Petri网)所没有的一些优势.
并发处理/时态逻辑、并发程序、公平转换系统、公平性、安全性、活性
22
TP311(计算技术、计算机技术)
2004-01-08(万方平台首次上网日期,不代表论文的发表时间)
47-50