@会议记录{bollig_et_al:LIPIcs.CONCUR.2020.49,author={Bollig、Benedikt和Finkel、Alain和Suresh、Amrita},title={{FIFO机器中有界可达性问题是可决定的}},booktitle={第31届并行理论国际会议(CONCUR 2020)},页数={49:1--49:17},series={Leibniz国际信息学论文集(LIPIcs)},国际标准图书编号={978-3-95977-160-3},ISSN={1868-8969},年份={2020},体积={171},editor={Konnov、Igor和Kov{a} cs公司,劳拉},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2020.49},URN={URN:nbn:de:0030-drops-128615},doi={10.4230/LIPIcs.CONCUR.2020.49},annote={关键词:FIFO机器,可达性,欠近似,计数器}}