卢卡·卡德利;米尔科·特里巴斯通;马克斯·柴科夫斯基;安德烈·范丁 微分等价的符号计算。 (英语) Zbl 1347.68258号 Bodik,Rastislav(编辑)等人,第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集,POPL’16,美国佛罗里达州圣彼得堡,2016年1月20日至22日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3549-2)。137-150 (2016). 引用于13文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 60年28日 连续时间Markov过程在离散状态空间中的应用 60年第68季度 规范和验证(程序逻辑、模型检查等) 68瓦30 符号计算和代数计算 92立方厘米 系统生物学、网络 92E20型 化学中的经典流动、反应等 关键词:常微分方程;分区细化;数量等价关系;可满足性模理论 软件:生物净发电;生物-PEPA;棱镜;z3(零3);生物CHAM PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人,in:第43届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集,POPL’16,美国佛罗里达州圣彼得堡,2016年1月20-22日。纽约州纽约市:计算机协会(ACM)。137-150(2016;Zbl 1347.68258) 全文: 内政部 链接