“concurrent separation logic”的概念、定义、翻译、参考文献-科学参考

单词	concurrent separation logic
释义	concurrent separation logic Encyclopedia 理学程序验证释 concurrent separation logic并发分离逻辑支持对共享内存的并发程序的验证的一种程序逻辑。是对霍尔逻辑和分离逻辑的扩充。
随便看	自生固氮菌自生增压自生成元自生成数自生成的自生放松自生沸腾自生矿物自生碳酸盐岩自生苗自生长自动机自由自由d戴克路自由L空间自由三向量自由上肢连结自由上肢骨自由下标自由下肢骨自由下肢骨连结自由下落时间自由下落法绝对重力仪自由下落物体自由与爱情自由与责任：通过媒介自律来保护新闻自由

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。