共 50 条
- [46] COMPOSITION SEMANTICS OF PROGRAMMING-LANGUAGES [J]. PROGRAMMING AND COMPUTER SOFTWARE, 1982, 8 (06) : 306 - 314
- [47] CATEGORICAL SEMANTICS FOR PROGRAMMING-LANGUAGES [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 442 : 402 - 417
- [49] CONCURRENCY IN PROGRAMMING-LANGUAGES - A SURVEY [J]. PARALLEL COMPUTING, 1985, 2 (03) : 229 - 241