New generation computing. 1997;15(3):339-361. doi: 10.1007/bf03037950 Q22.82025

Relational semantics for locally nondeterministic programs

局部非确定性程序的关系语义

DOI: 10.1007/bf03037950

摘要 查看摘要

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