期刊文献

On bisimulations for the spi calculusOn bisimulations for the spi calculus 收藏

在互模拟为SPI calculusOn互模拟为SPI演算
原文求助 发布源
作者
JOHANNES BORGSTRÖM ; UWE NESTMANN
页码
487 - 552
DOI
10.1017/S0960129505004706
来源信息
Mathematical Structures in Computer Science ISSN：0960-1295, 2005年, 15卷, 3期, 487 - 552页
摘要
摘要译文
JOHANNES BORGSTRÖM ; UWE NESTMANN. On bisimulations for the spi calculusOn bisimulations for the spi calculus[J]. Mathematical Structures in Computer Science, 2005,15(3): 487 - 552