文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
F. Tricas
发表
An extension of the liveness theory for concurrent sequential processes competing for shared resources
F. Tricas, J. Martinez, 1995, 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century.