@文章{zbMATH06658146，作者={Bravetti、Mario和Giachino、Elena和Lienhardt、Michael和Wong、Peter Y.H.}，标题={并发对象组的动态重新绑定：理论与实践}，FJournal={程序设计中的逻辑和代数方法杂志}，Journal={J.Log.Algebr.Methods程序}，ISSN＝{2352-2208}，体积={86}，数字={1}，Pages＝{349-390}，年份={2017年}，语言={英语}，DOI={10.1016/j.jlamp.2016.03.002}，关键词={68N19,68N15}，zbMATH={6658146}，Zbl={1353.68044}}