：facetid:toc:\“db/series/eptcs/eptcs276.bht\” 好 啊 ：facetid:toc:db/series/eptcs/eptcs276.bht 延斯·阿加德汉斯·海特尔马蒂亚斯·雅各布森米克尔·凯特纳应用Pi-Calculus的无上下文会话类型。快递/SOS3-182018会议和研讨会文件打开日记账/corr/abs-1808-0864810.4204/EPTCS.276.3https://doi.org/10.4204/EPTCS.276.3https://dblp.org/rec/journals/corr/abs-1808-08648 网址：2779891 瓦伦蒂娜·卡斯蒂格利奥尼非确定性概率过程的跟踪和测试度量。快递/SOS19-362018会议和研讨会文件打开期刊/corr/abs-1808-0864910.4204/EPTCS.276.4https://doi.org/10.4204/EPTCS.276.4https://dblp.org/rec/journals/corr/abs-1808-08649 网址：2779892 简·希尔斯顿卡拉广场萨比娜·罗西持久随机无干扰。快递/SOS53-682018会议和研讨会文件打开日记账/corr/abs-1808-0865010.4204/EPTCS.276.6https://doi.org/10.4204/EPTCS.276.6https://dblp.org/rec/journals/corr/abs-1808-08650 网址：2779893 詹姆斯·霍伊伊雷克·乌利多夫斯基袁绍基（Shoji Yuen）用块和过程反转并行程序。快递/SOS69-862018会议和研讨会文件打开期刊/corr/abs-1808-0865110.4204/EPTCS.276.7https://doi.org/10.4204/EPTCS.276.7https://dblp.org/rec/journals/corr/abs-1808-08651 网址：2779894 春田0001戴维德·桑吉奥吉合同、CCS及其HOL形式化的独特解决方案。快递/SOS122-1392018会议和研讨会文件打开期刊/corr/abs-1808-0865210.4204/EPTCS.276.10https://doi.org/10.4204/EPTCS.276.10https://dblp.org/rec/journals/corr/abs-1808-08652 网址：2779895 Doriana Medic公司克劳迪奥·安塔雷斯·梅齐纳伊恩·菲利普斯0001吉田信子可逆Pi-Calculi的参数化框架。快递/SOS第87页至第103页2018会议和研讨会文件打开期刊/corr/abs-1808-0865510.4204/EPTCS.276.8https://doi.org/10.4204/EPTCS.276.8https://dblp.org/rec/journals/corr/abs-1808-08655 网址：2779896 柯斯汀·彼得斯乌韦·内斯特曼关于移动环境的可分配性。快递/SOS104-1212018会议和研讨会文件打开日记账/corr/abs-1808-0936110.4204/九月276.9https://doi.org/10.4204/EPTCS.276.9https://dblp.org/rec/journals/corr/abs-1808-09361 网址：2779897 豪尔赫·佩雷斯0001西蒙·蒂尼《第25届并发表达性国际研讨会和第15届结构化操作语义研讨会论文集》，EXPRESS/SOS 2018，中国北京，2018年9月3日。快递/SOSEPTCS公司2762018编辑打开日记账/corr/abs-1808-0807110.4204/EPTCS.276https://doi.org/10.4204/EPTCS.276https://dblp.org/rec/journals/corr/abs-1808-08071 网址：2784383