篇名 | Towards a Categorical Framework for Verifying Design and Implementation of Concurrent Systems | ||
来源期刊 | 电脑和通信(英文) | 学科 | 工学 |
关键词 | CONCURRENT System Verification CSP Process-Oriented PROGRAMMING ABSTRACTION CATEGORY Theory | ||
年,卷(期) | dnhtxyw_2018,(11) | 所属期刊栏目 | |
研究方向 | 页码范围 | 227-246 | |
页数 | 20页 | 分类号 | TP39 |
字数 | 语种 | ||
DOI |