Luca Cardelli、Mirco Tribastone、Max Tschaikowski、,安德烈·范丁*
研究成果:对日记账的贡献›期刊文章›研究›同行评审
我们将化学反应网络(CRN)作为一个基于常微分方程的语义并发的核心模型进行研究。我们研究比较两个CRN的问题,即确定源CRN和目标CRN的解是否可以匹配以选择适当的初始条件。使用范畴框架,我们扩展并统一了基于CRN的动态(语义)和结构(语法)属性的模型比较方法。然后,我们提供了一种比较CRN的算法,该算法根据所有可能比较的基数在时间上线性运行。最后,使用原型实现CAGE,我们将我们的结果应用于文献中的生物模型。
}
今天
T1-比较化学反应网络
T2——分类和算法视角
AU-卢卡·卡德利
澳大利亚-特里巴斯通,米尔科
非盟——马克斯·柴科夫斯基
澳大利亚-安德烈·范丁
2019年上半年
2019年1月
N2-我们研究化学反应网络(CRN)作为一个基于常微分方程的语义并发的核心模型。我们研究比较两个CRN的问题,即确定源CRN和目标CRN的解是否可以匹配以选择适当的初始条件。使用范畴框架,我们扩展并统一了基于CRN的动态(语义)和结构(语法)属性的模型比较方法。然后,我们提供了一种比较CRN的算法,该算法根据所有可能比较的基数在时间上线性运行。最后,使用原型实现CAGE,我们将我们的结果应用于文献中的生物模型。
AB-我们研究化学反应网络(CRN)作为一个基于常微分方程的语义并发的核心模型。我们研究比较两个CRN的问题,即确定源CRN和目标CRN的解是否可以匹配以选择适当的初始条件。使用范畴框架,我们扩展并统一了基于CRN的动态(语义)和结构(语法)属性的模型比较方法。然后,我们提供了一种比较CRN的算法,该算法根据所有可能比较的基数在时间上线性运行。最后,使用原型实现CAGE,我们将我们的结果应用于文献中的生物模型。
KW-相互模拟
KW-化学反应网络
KW-模型比较
KW-常微分方程
U2-10.1016/j.tcs.2017.12.018
DO-2016年10月10日/j.tcs.2017.12.018
M3-期刊文章
AN-斯科普斯:85038954611
序号:0304-3975
阀门-765
SP-47
EP-66
JO-理论计算机科学
JF-理论计算机科学
急诊室-