Towards a Categorical Representation of Reversible Event Structures
Towards a Categorical Representation of Reversible Event Structures
复制标题
可逆事件结构的分类表示
DOI：
10.4204/eptcs.246.9
复制
发表时间：
2017
影响因子：
--
通讯作者：
Graversen E
中科院分区：
文献类型：
--
作者：
Graversen E
登录
查看更多内容
在 CCS-R 中完成正式的分子生物学
DOI：
--
发表时间：
2003
期刊：
BioConcur@CONCUR
影响因子：
--
作者：
V. Danos;J. Krivine
通讯作者：
J. Krivine
DOI：
--
发表时间：
1989
期刊：
影响因子：
--
作者：
F. Vaandrager
通讯作者：
F. Vaandrager
DOI：
10.1016/j.jlamp.2015.07.004
发表时间：
2015-11-01
影响因子：
0.9
作者：
Phillips, Iain;Ulidowski, Irek
通讯作者：
Ulidowski, Irek
可逆 p 微积分的组合语义
DOI：
--
发表时间：
2013
期刊：
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
Ioana Cristescu;J. Krivine;Daniele Varacca
通讯作者：
Daniele Varacca
DOI：
10.1007/978-3-642-38986-3_12
发表时间：
2013
期刊：
Lecture Notes in Computer Science
影响因子：
--
作者：
Iain Phillips;Irek Ulidwoski;Shoji Yuen
通讯作者：
Shoji Yuen