@第{zbMATH07136661条，作者={Aceto、Luca和F{'a}bregas、Ignacio和Garc{'{i}}a-P{'e}rez、{'a}lvaro和Ing{'o}-lfsd{'o{ttir、Anna和Ortega-Mall、Yolanda}，标题={标称过程计算的规则格式}，FJournal={计算机科学中的逻辑方法}，日志={Log.Methods Compute.Sci.}，ISSN={1860-5974}，体积={15}，数字={4}，页码={46}，注={Id/No 2}，年份={2019}，语言={英语}，关键词={68Q85,03B70,68Q55,68Q60}，zbMATH={7136661}，Zbl={1442.68119}}