公平转换系统相关论文
分别阐述了基于Manna-Pnueli框架的命题线性时态逻辑PLTL和基于共享变量方式的并发程序(转换图)模型,并给出该模型与转换系统之间的对应关系;将时态逻辑......
<正>近些年来,并行性(Concurrency)理论发展很快,为正确理解和对分布式计算系统复杂行为的推......
引进一个称为LTLC的连续时间时序逻辑,用来对反应系统进行规范与验证.LTLC的一个重要特点是它能在统一的逻辑框架下表示反应系统及......