“通过Hoare-style过程演算比较cospan-span和tile。”
法比奥·加杜奇 , 皮耶朱利奥·卡蒂斯 , 乌戈·蒙塔纳里 , 尼科莱塔·萨巴迪尼 , 罗伯特·F·C·沃尔特斯 :
通过Hoare-style过程演算比较cospan-span和tile。 TOSCA公司 2001 : 157-176
由于引用数据不可用,以下列表可能不完整, 引用字符串可能未成功映射到dblp中列出的项,并且 我们没有针对这些列表中给出的所有项目的完整和精心策划的元数据。