并发面向对象编程中的通道作为对象

摘要:基于类的并发面向对象语言中的方法调用协议验证

作者:Joana Campos (University of Lisbon), Vasco T. Vasconcelos (University of Lisbon)

论文ID:1110.4157

分类:Programming Languages

分类简称:cs.PL

提交时间:2011-10-20

PDF 下载: 英文版 中文版pdf翻译中