@进行中{IgriedS16-0，title={定义CSP-Agda}的跟踪语义，author={巴沙尔·伊格瑞德和安东·塞泽尔}，年份={2016年}，doi={10.4230/LIPIcs.类型.2016.12}，url={https://doi.org/10.4230/LIPIcs.TYPES.2016.12},研究人员={https://researchr.org/publication/IgriedS16-0},引用={0}，引用者={0}，booktitle＝{第22届国际校对和程序类型会议，Types 2016，2016年5月23日至26日，塞尔维亚诺维萨德}，editor={Silvia Ghilezan、Herman Geuvers和Jelena Ivetic}，体积={97}，系列={LIPIcs}，publisher={Schloss Dagstuhl-Leibniz Zentrum fuer Informatik}，isbn={978-3-95977-065-1}，}