@收款{zbMATH05761629，作者={Llorens，Marisa and Oliver，Javier and Silva，Josep and Tamarit，Salvador}，标题={{CSP}}的跟踪语义，BookTitle={程序构建的数学。第十届国际会议，MPC 2010，魁北克市，加拿大，2010年6月21日至23日。诉讼}，国际标准图书编号={978-3-642-13320-6}，页码={248--270}，年份={2010}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-642-13321-3_15}，关键词={68N30}，zbMATH={5761629}，Zbl={1286.68083}}