A Concurrent Model for Linear Logic

A Concurrent Model for Linear Logic
复制标题

线性逻辑的并发模型

DOI:
--
复制
发表时间:
2006
期刊:
Mathematical Foundations of Programming Semantics
影响因子:
--
通讯作者:
E. Beffara
E. Beffara
中科院分区:
--
文献类型:
--
作者:
E. Beffara

文献摘要

被引文献

相似文献