Bigraph反应系统中类型表述理论的研究进展

作者：吴怀广; 石永生

来源：广州大学学报(自然科学版), 2019, 18(03): 77-84.

• Bigraph反应系统
• 赋类
• 归纳类型

在Bigraph反应系统中,赋类以及归纳类型的研究是Bigraph理论本身以及其应用于实践中的关键环节.文章详细介绍了Bigraph反应系统中赋类与归纳类型的相关研究进展,分析了它们各自的表述能力和局限.同时,给出了Bigraph理论中与类型表述相关的研究问题.

• 单位
  郑州轻工业大学