@第{zbMATH00064875条，作者={Larsen，Kim G.和Milner，Robin}，标题＝{使用相对化的互模拟的组成协议验证}，FJournal={信息与计算}，日志={Inf.Comput.}，ISSN={0890-5401}，体积={99}，数字={1}，页码={80--108}，年份={1992年}，语言={英语}，DOI={10.1016/0890-5401（92）90025-B}，关键词={68Q60,68Q10,68M10}，zbMATH={64875}，Zbl={0753.68067}}