登录
免费注册
首页
论文
论文详情
赞
收藏
引用
分享
科研之友
微信
新浪微博
Facebook
分享链接
An algorithm for computing simulation on finite labeled transition systems
作者:Cai, Xuan
*
; Zheng, Yi Yuan
来源:
Journal of Shanghai Jiaotong University
, 2009, 43(11): 1784-1787.
Concurrent systems
Labeled transition systems
Process calculi
Reactive system
Simulation
出版日期
2009
单位
上海交通大学
全文
全文
访问全文
相似论文
引用论文
参考文献