共变-逆变模拟相关论文
进程代数是并发理论研究的主流方向,是分析和描述并发与分布式系统的重要工具之一。模拟是进程代数中刻画精化关系的核心概念。共......
结构化标记共变-逆变模拟是共变-逆变模拟的一种扩充,在处理转换系统的模拟关系时考虑了标记本身的结构。结构化标记模态转换系统间......
结构化标记转换系统是经典标记转换系统的一种扩充,在处理转换系统之间的模拟关系时考虑了标记本身的结构。结构化标记转换系统间......