@第{zbMATH05078777条，作者={山口、平津和艾尔法基、哈立德和波奇曼、格雷戈五世和东野东彦}，Title={从写为{Predicate}的服务规范派生协议规范/{Transition}-网络},FJournal＝{计算机网络}，日志={Compute.Netw.}，ISSN={1389-1286}，体积={51}，数字={1}，页码={258--284}，年份={2007}，语言={英语}，DOI={10.1016/j.comnet.2006.03.011}，关键词={68M12}，zbMATH={5078777}，Zbl=｛1118.68028｝}