@会议记录{finkbeiner_et_al:LIPIcs.FSTTCS.2017.28,author={Finkbeiner、Bernd和G\“{o} 里兹,保罗},title={{分布式环境中的合成}},booktitle={第37届IARCS软件技术与理论计算机科学基础年会(FSTTCS 2017)},页数={28:1--28:14},series={Leibniz国际信息学论文集(LIPIcs)},国际标准图书编号={978-3-95977-055-2},ISSN={1868-8969},年份={2018年},体积={93},editor={洛卡姆、萨提亚和拉马努贾姆,R.},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2017.28},URN={URN:nbn:de:0030-drops-84068},doi={10.4230/LIPIcs.FSTTCS.2017.28},annote={关键词:反应合成,分布式信息,因果记忆,Petri网}}