搜索历史记录选项已关闭，请开启搜索历史记录选项。
作者： T. Ito , Robert H. Halstead
DOI:
关键词:
摘要:
暂无可下载资源，当前可以选择系统获取到有开放资源时 通知我或者直接发起求助 文献求助
Interactive Theorem Proving,2013, 引用: 4
Concurrent Objects and Beyond,2014, 引用: 0
,2011, 引用: 1
TPPP '94 Proceedings of the International Workshop on Theory and Practice of Parallel Programming,1994, 引用: 3
Languages and Compilers for Parallel Computing,1996, 引用: 7
languages and compilers for parallel computing,1991, 引用: 0
international conference on parallel architectures and languages europe,1992, 引用: 3
PSLS '95 Proceedings of the International Workshop on Parallel Symbolic Languages and Systems,1995, 引用: 1
TPPP '94 Proceedings of the International Workshop on Theory and Practice of Parallel Programming,1994, 引用: 1
Ibm Journal of Research and Development,1991, 引用: 1
amazon.com