停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

2018年第25届EXPRESS/15届SOS：中国北京

优化列表

优化激活！

放大了??属于??记录

在中查看细化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1808-08071
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1808-08071
豪尔赫·佩雷斯,西蒙·蒂尼:
《第25届并发表达性国际研讨会和第15届结构化操作语义研讨会论文集》，EXPRESS/SOS 2018，中国北京，2018年9月3日。 EPTCS系统276,2018
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1808-08648
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1808-08648
延斯·阿加德,汉斯·胡特尔,马蒂亚斯·雅各布森,米克尔·凯特纳:
应用Pi-Calculus的无上下文会话类型。 3-18
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/corr/abs-1808-08649
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1808-08649
瓦伦蒂娜·卡斯蒂格利奥尼:
非确定性概率过程的跟踪和测试度量。 19-36
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1808-08650
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1808-08650
简·希尔斯顿,卡拉广场,萨比娜·罗西:
持久随机无干扰。 53-68
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1808-08651
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1808-08651
詹姆斯·霍伊,伊雷克·乌利多夫斯基,元昭治:
用块和过程反转并行程序。第69页至第86页
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1808-08655
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1808-08655
Doriana Medic公司,克劳迪奥·安塔雷斯·梅齐纳,伊恩·菲利普斯,吉田信子:
可逆Pi-Calculi的参数化框架。 87-103
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1808-09361
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1808-09361
柯斯汀·彼得斯,乌韦·内斯特曼:
关于移动环境的可分配性。 104-121
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1808-08652
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1808-08652
春田,戴维德·桑吉奥吉:
合同、CCS及其HOL形式化的独特解决方案。 122至139

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。