@第{zbMATH06262155条，作者=｛Swamy，Nikhil和Chen，Juan和Fournet，C｛e｝dric和Strub，Pierre Yves和Bhargavan，Karthikeyan和Yang，Jean｝，Title={使用值相关类型进行安全的分布式编程}，FJournal={函数编程杂志}，日志={J.Funct.Program.}，ISSN={0956-7968}，体积={23}，数字={4}，页码={402--451}，年份={2013}，语言={英语}，DOI={10.1017/S0956796813000142}，关键词={68N19、68N18、68N30、68N15、68T15}，zbMATH={6262155}，Zbl={1290.68033}}