New generation computing. 1997;15(3):339-361. doi: 10.1007/bf03037950 Q22.82025
Relational semantics for locally nondeterministic programs
局部非确定性程序的关系语义
DOI: 10.1007/bf03037950
摘要 查看摘要
New generation computing. 1997;15(3):339-361. doi: 10.1007/bf03037950 Q22.82025
DOI: 10.1007/bf03037950
摘要 查看摘要