@第{zbMATH07161324条，作者={De Nicola、Rocco和Ferrari、Gianluigi和Pugliese、Rosario和Tiezzi、Francesco}，Title={特定领域分布式系统工程的正式方法}，FJournal={程序设计中的逻辑和代数方法杂志}，Journal={J.Log.Algebr.Methods程序}，ISSN={2352-2208}，体积={111}，页码={37}，注={Id/No 100511}，年份={2020年}，语言={英语}，DOI={10.1016/j.jlamp.2019.100511}，关键词={68M14,68Q60}，zbMATH={7161324}，Zbl={1494.68022}}