标题:UTP Semantics for rTiMo
作者:Xie, WL[1]; Xiang, SQ[1]
作者全称:Xie, Wanling[1]; Xiang, Shuangqing[1]
通讯作者:Xie, Wanling(mmrs_113_213@163.com)
通讯作者地址:Xie, WL (reprint author), East China Normal Univ, Sch Comp Sci & Software Engn, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.
出版年:2017
卷:10134
页码:176-196
摘要:rTiMo is a real-time version of TiMo (Timed Mobility), which is a process algebra for mobile distributed systems. In this paper, we investigate the de 更多
收录类别:SCOPUS;EI;CPCI-S
资源类型:外文期刊论文;外文会议论文
版权说明
文件名称:
文件大小: 0
内容类型:
版本类型: 出版稿
开放类型: 开放获取
使用许可: CC BY-NC-SA
TOP