@第{zbMATH07135124条，作者={Cruz-Filipe，Lu{'{i}s和Montesi，Fabrizio}，Title={舞蹈编程的核心模型}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={802}，页码={38--66}，年份={2020年}，语言={英语}，DOI={10.1016/j.tcs.2019.07.005}，关键词={68N19，68Q85}，URL={portal.findresearcher.sdu.dk/da/publications/32c20848-687c-4c01-a012-cf78ea15d538}，zbMATH={7135124}，Zbl={1436.68078}}