Trace semantics via determinization

Trace semantics via determinization
复制标题

通过确定性追踪语义

DOI：
--
复制
发表时间：
2012
期刊：
Journal of computer and system sciences (Print)
影响因子：
--
通讯作者：
A. Sokolova
A. Sokolova
中科院分区：
--
文献类型：
--
作者：
B. Jacobs;Alexandra Silva;A. Sokolova

文献摘要

参考文献

被引文献

相似文献

On Coalgebras over Algebras
论代数之上的余代数
DOI： 10.1016/j.entcs.2010.07.013
发表时间： 2010
期刊： Electronic Notes in Theoretical Computer Science
影响因子： --
作者：
Balan A
通讯作者： Balan A