[Lecture Notes in Computer Science] Mathematical Foundations of Programming Semantics Volume 442 || Unbounded nondeterminism in CSP
Main, M.; Melton, A.; Mislove, M.; Schmidt, D.
- 作者Main, M.; Melton, A.; Mislove, M.; Schmidt, D.
- 文件大小2527.70KB
- 发表时间1990
- DOI10.1007/bfb0040257
- 页码160-193