@第{zbMATH07377685条，作者={Ramos、Jaime和Rasga、Jo和Sernadas、Cristina和Vigan、Luca、，标题={基于事件的时间戳声明逻辑}，FJournal={程序设计中的逻辑和代数方法杂志}，Journal={J.Log.Algebr.Methods程序}，ISSN＝{2352-2208}，体积={121}，页码={28}，注={Id/编号100684}，年份={2021}，语言={英语}，DOI={10.1016/j.jlamp.2021.100684}，关键词={03B44}，zbMATH={7377685}}