|
|||||
|
|
| Bigraph反应系统中类型表述理论的研究进展 | |
| 引用本文： | 吴怀广,石永生.Bigraph反应系统中类型表述理论的研究进展[J].广州大学学报(自然科学版),2019,18(3). |
| 作者姓名： | 吴怀广 石永生 |
| 作者单位： | 郑州轻工业大学 计算机与通信工程学院,河南 郑州,450001;郑州轻工业大学 计算机与通信工程学院,河南 郑州,450001 |
| 摘 要： | 在Bigraph反应系统中,赋类以及归纳类型的研究是Bigraph理论本身以及其应用于实践中的关键环节.文章详细介绍了Bigraph反应系统中赋类与归纳类型的相关研究进展,分析了它们各自的表述能力和局限.同时,给出了Bigraph理论中与类型表述相关的研究问题. |
| 关 键 词： | Bigraph反应系统 赋类 归纳类型 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |