Journal of automated reasoning. 1985;1(1):75-101. doi: 10.1007/bf00244290 Q40.72025

On the role of automated theorem proving in the compile-time derivation of concurrency

自动定理证明在编译时推导并发性中的作用

DOI: 10.1007/bf00244290

摘要 查看摘要

Copyright © . 中文内容为AI机器翻译，仅供参考！