智云搜索
首页
搜索
文献
期刊
会议
图书
课程
数据分析
学者
主题
机构
期刊
学科
地区
帮助
欢迎您:西北民族大学图书馆
个人账号登录
基本资料
我的订阅
我的收藏
求助记录
退出登录
消息
课程章节
Bisimulation
收藏
视觉系统
机构暂未开通该资源的服务权限,如有疑问请联系图书馆。
基本信息
相关文献
引用格式
学校
University of California, Irvine(加利福尼亚大学尔湾分校)
来源信息
Visual Perception
,文件类型:教学课件, 2020年
摘要
摘要译文
Bisimulation Trees and the Decidability of Weak Bisimulations
刺激树和弱同化的决定
Bisimulations
互模拟
Bisimulation
互模拟
Bisimulations and bisimulation quotients of generalized Veltman models
广义Veltman模型的互模拟和互模拟商
Bisimulations and bisimulation games between Verbrugge models
Verbrugge模型之间的双仿真
On the reduction of chocs bisimulation to π-calculus bisimulation
将巧克力互模拟简化为π演算互模拟
On the bisimulation proof methodOn the bisimulation proof method
在互模拟证明methodOn的互模拟证明方法
On bisimulations for the spi calculusOn bisimulations for the spi calculus
在互模拟为SPI calculusOn互模拟为SPI演算
Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations
Multiset Bisimulations作为普通和概率相似的共同框架
k-Bisimulation: A Bisimulation for Measuring the Dissimilarity Between Processes
k-Bisimulation:A Bisimulation用于测量过程之间的不相似性
该类型资源无GB/T 7714-2015《信息与文献 参考文献著录规则》参照,请自行排列: 题名:Bisimulation. 课程名称:Visual Perception. 年份:2020.