步进语义相关论文
近年来,并发系统有着颇为广泛的应用。事件结构作为并发系统的语义模型之一,引起了理论与工程学界极大的关注和兴趣,并吸引了大量......
迹等价和测试等价等事件结构上的系统等价关系都立足于观测集上的精确相等,然而精确相等需要的精确度量在现实物理世界里是无法实......
