机译:罗宾·米尔纳(Robin Milner)1934--2010年:验证,语言和并发
机译:罗宾·米尔纳(Robin Milner)1934--2010年:验证,语言和并发
机译:基于语言的并发非干扰的形式验证
机译:基于语言的并发非干扰的形式验证
机译:常规语言对CFL的并发程序验证近似
机译:并发面向对象语言的可扩展性和重用语言功能
机译:校正至:在变性甲状腺癌的原位模型中超分割放射治疗优于常规分割作者:Oweida APhan AVancourt BRobin THararah MKBhatia SMilner DLennon SPike LRaben D Haugen BPozdeyev NSchweppe R和Karam SD。甲状腺2018; 28:739–747。 DOI:10.1089 / thy.2017.0706
机译:罗宾·米尔纳(Robin Milner)的并发工作
机译:已验证的并发管理语言的编译。