注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 有限公平环境过程中双相似性的公理系统

  2. 在本文中，我们研究了用于有限公平环境过程的双相似性。 为了获得有限过程的范式，我们扩展了Fair Ambient的语法来放置嵌套的环境结构成前缀。 在我们的公理系统中，如果两个有限公平等效过程可以被有效地检查。

  3. 所属分类：其它

    • 发布日期：2021-02-23
    • 文件大小：412kb
    • 提供者：weixin_38502814