Congruences for a Timed Extension of the pi Calculus

Congruences for a Timed Extension of the pi Calculus
复制标题

圆周率微积分定时扩展的同余式

DOI：
--
复制
发表时间：
2005
期刊：
Proceedings of the workshop of Dependable Software -Tools and Methods, DSN2005 Suppliemta 1 Volume
影响因子：
--
通讯作者：
K.Agusa
K.Agusa
中科院分区：
--
文献类型：
--
作者：
H.Kuwabara;S.Yuen;K.Agusa

文献摘要

相似文献