提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学参考书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/esop/RaadVG15澳大利亚-杜鹃花拉德AU-朱尔斯维拉德澳大利亚-菲利普·加德纳TI-CoLoSL：并发局部主观逻辑。BT——编程语言和系统——2015年第24届欧洲编程研讨会，ESOP，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2015，英国伦敦，2015年4月11-18日。诉讼SP-710型EP-7352015年上半年//DO-2007年10月10日/978-3-662-46669-8_29UR-（欧元）https://doi.org/10.1007/978-3-662-46669-8_29急诊室-