@书籍{zbMATH07372876，编辑={Peters，Kirstin and Willemse，Tim A.C.}，Title={分布式对象、组件和系统的形式化技术。第41届{IFIP}{WG}6.1国际会议，{FORTE}2021，作为第16届分布式计算技术国际联合会议的一部分举行，{DisCoTec}2021年，{Valletta}，{Malta}，2021年6月}14-18日。{会议记录}}，F系列={计算机科学课堂讲稿}，系列={Lect.Notes Compute.Sci.}，ISSN={0302-9743}，体积={12719}，国际标准图书编号={978-3-030-78088-3；978-3-0.30-78089-0}，年份={2021}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-78089-0}，关键词={68-06,68M14,68Q85,00B25}，zbMATH={7372876}，Zbl={1482.68037}}