并发系统性质描述的一种形式化方法* (1998年)

【文件属性】：

文件名称：并发系统性质描述的一种形式化方法* (1998年)

文件大小：249KB

文件格式：PDF

更新时间：2024-06-15 07:54:53

自然科学 论文

给出并发系统性质的一种形式化描述方法--时态逻辑方法，其时间模型是离散的和线性的。