退出
我的积分:
中文文献批量获取
外文文献批量获取
张黔;
武汉大学计算机科学及技术学院;
组合同步控制; 程序设计语言; CooLs; 面向对象;
机译:并发的面向对象语言(酷)概述
机译:面向对象语言中的同步和并发问题
机译:并发的面向对象语言(COOLS)概述
机译:并发面向对象语言中的并发控制级别的另一个建议
机译:并发面向对象语言的可扩展性和重用语言功能
机译:纤毛同步控制动态状态简单模型的几何方面的变化可以在microWimmers中切换游泳Gaits的可能机制
机译:VeriCool:一种用于并发面向对象语言的自动验证器
机译:寻求组合性:对基于断言的并发程序证明系统的调查。第1部分。基于共享变量的并发性
机译:用面向对象语言实现并发程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。