×
艾尔维拉·阿尔伯特（编辑）;伊万·拉内斯（编辑）

分布式对象、组件和系统的形式化技术。第36届IFIP WG 6.1国际会议，2016年FORTE，作为第11届分布式计算技术国际联合会议的一部分，2016年6月6日至9日在希腊克里特岛赫拉克利恩举行。诉讼程序。 （英语） Zbl 1339.68004号

计算机科学课堂讲稿9688.查姆：施普林格（ISBN 978-3-319-39569-2/pbk；978-3-3169-39570-8/电子书）。十六、275页。(2016).

将索引文章显示为搜索结果。

对数学感兴趣的文章将单独进行审查。有关上一次会议，请参阅[Zbl 1339.68008号].
索引文章：
Abd Alrahman，Yehia；德尼古拉（De Nicola）、罗科（Rocco）；米歇尔·洛雷蒂，关于基于属性的交流的力量，1-18[兹比尔1347.68022]
卡琳·阿提森（Karine Altisen）；皮埃尔·科尔比诺；Devismes，圣潘，认证自稳定框架，36-51[Zbl 1347.68358号]
凯雷斯，路易斯；佩雷斯（Jorge A.Pérez）。，规范二进制理论中的多方会话类型，以及更高版本，74-95[Zbl 1347.68026号]
陈子春；维林，马尔特；安迪·贝杰里；卢卡斯·齐亚雷克；帕特里克·尤格斯特，分布式系统中鲁棒故障处理的一种类型理论，96-113[Zbl 1347.68027号]
de Frutos Escrig，大卫；Jeroen J.A.Keiren。；Tim A.C.Willemse。，分支互模拟游戏，142-157[Zbl 1347.68276号]
阿科斯·哈伊杜；塔马斯·托特；Vörös，András；伊斯坦·马齐克，具有基于插值的细化的可配置CEGAR框架，158-174[Zbl 1347.68226号]
Henrio，Ludovic；埃里克·马德琳（Eric Madelaine）；张敏，并发进程组成理论，175-194[Zbl 1347.68267号]
雨果·A·洛佩兹。；尼尔森，弗莱明；尼尔森、汉内·里斯，增强故障软件通信系统的可用性，195-211[Zbl 1347.68060号]
亚历山大·佩特伦科（Alexandre Petrenko）；奥马尔·恩格纳·蒂莫（Omer Nguena Timo）；拉梅什，S。，FSM多重突变检测，222-238[Zbl 1347.68236号]
卡洛·斯帕卡萨西；瓦西里奥斯·库塔瓦斯，基于类型的会话推理分析（扩展摘要），248-266[Zbl 1347.68057号]

引用于1审查
引用于4文件

MSC公司：

68-06 与计算机科学有关的会议记录、会议、收藏等
64岁以下 分布式系统
00B25型 杂项特定利益的会议记录

引文：

兹比尔1339.68008
PDF格式BibTeX公司 XML格式引用
\textit{E.Albert}（编辑）和\textit{I.Lanese}（主编），分布式对象、组件和系统的形式化技术。第36届IFIP WG 6.1国际会议，2016年FORTE，作为第11届分布式计算技术国际联合会议的一部分，2016年6月6日至9日在希腊克里特岛赫拉克利恩举行。诉讼程序。商会：施普林格（2016；兹比尔1339.68004）
全文： 内政部