[Lecture Notes in Computer Science] Mathematical Foundations of Programming Semantics Volume 442 || Termination, deadlock and divergence
- 作者Main, M.; Melton, A.; Mislove, M.; Schmidt, D.
- 文件大小1172.17KB
- 发表时间1990
- DOI10.1007/bfb0040264
- 页码301-318
海量图书期刊资源，随时随地畅享阅读乐趣