广反应系统中的行为同余问题研究 无法得到保证。为了解释并发性的本质并在此基础上提出开发并发系统的正确方法，R.Milner于2001年提出了双图反应系统(Bigraphicalreactivesystem，Brs)理论。在该模型中，用双图表示系统状态，用反应规则表示系统的动态变化。Brs是广反应系统(Widere
基于1个网页-相关网页
年提出了双图反应系统
The dual-graph reaction system was proposed in [year]
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动