克莱门·奥伯特(编辑);Cinzia迪朱斯托(编辑);西蒙·福勒(编辑);拉里萨·萨芬娜(编辑) 第16届交互和并发体验研讨会会议记录,ICE 2023,葡萄牙里斯本,2023年6月19日。 (英语) Zbl 1522.68014号 理论计算机科学电子论文集(EPTCS)383.滑铁卢:开放出版协会(OPA)。90页。,仅电子化、开放存取(2023年)。 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。有关前面的研讨会,请参阅[Zbl 1522.68015号].索引文章:沃尔夫冈·杰利奇;哈维尔·迪亚斯,关于网络通信的证据:针对人类和机器,1-14[Zbl 07820782号]佛朗哥·巴巴内拉;马里亚纽拉州Dezani-Ciancaglini,部分类型多方会议,15-34[Zbl 07820783号]Haeri、Seyed Hossein;彼得·汤普森(Peter W.Thompson)。;彼得·范罗伊;马格纳哈夫雷恩;尼尔·J·戴维斯。;米哈伊尔·巴拉什;凯文·哈蒙德;詹姆斯·查普曼,关于及时性的代数推理,35-54[Zbl 07820784号]马内尔·巴卡拉;Jean-Marie雅克,《巴赫作品中保护列表的引入:表达性、正确性和效率问题》,55-72[Zbl 07820785号]大卫·巴兹利(Davide Basile);莫里斯·比克。,编配合成的研究挑战,73-90[Zbl 07820786号] MSC公司: 68-06 与计算机科学有关的会议记录、会议、收藏等 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 00B25型 杂项特定利益的会议记录 引文:兹比尔1522.68015 PDF格式BibTeX公司 XML格式引用 \textit{C.Aubert}(ed.)等人,第16届交互和并发体验研讨会论文集,ICE 2023,葡萄牙里斯本,2023年6月19日。滑铁卢:开放出版协会(OPA)(2023;Zbl 1522.68014) 全文: 内政部 arXiv公司 链接