@正在进行{DBLP:conf/lics/StatonW10,title=“关于事件结构中对称性的表达”,author=“Sam Staton和Glynn Winskel”,year=“2010”,booktitle=“2010年7月11日至14日在英国爱丁堡举行的第25届计算机科学逻辑年度{IEEE}研讨会论文集”,pages=“392--401”,publisher=“{IEEE}计算机学会”,url=“https://doi.org/10.1109/LICS.2010.37",doi=“10.1109/LICS.2010.37”,}