Towards linking correctness conditions for concurrent objects and contextual trace refinement
Towards linking correctness conditions for concurrent objects and contextual trace refinement
复制标题
链接并发对象的正确性条件和上下文跟踪细化
DOI：
10.4204/eptcs.209.8
复制
发表时间：
2016
影响因子：
--
通讯作者：
Dongol B
中科院分区：
文献类型：
--
作者：
Dongol B
登录
查看更多内容
DOI：
--
发表时间：
2015
期刊：
European Conference on Object-Oriented Programming
影响因子：
--
作者：
Brijesh Dongol;J. Derrick;L. Groves;Graeme Smith
通讯作者：
Graeme Smith
影响因子：
1.1
作者：
Filipovic I
通讯作者：
Filipovic I
DOI：
--
发表时间：
2010
期刊：
International Conference on Mathematics of Program Construction
影响因子：
--
作者：
I. Hayes;S. Dunne;L. Meinicke
通讯作者：
L. Meinicke
如何使正确的多进程程序在多处理器上正确执行
DOI：
--
发表时间：
1997
期刊：
IEEE Trans. Computers
影响因子：
--
作者：
L. Lamport
通讯作者：
L. Lamport