摘要：基于类的并发面向对象语言中的方法调用协议验证
作者：Joana Campos (University of Lisbon), Vasco T. Vasconcelos (University of Lisbon)
论文ID：1110.4157
分类：Programming Languages
分类简称：cs.PL
提交时间：2011-10-20
PDF 下载： 英文版 中文版pdf翻译中