帕特里夏·鲍耶;尼古拉斯·马基;米凯尔·兰多尔;Larsen,Kim G。;西蒙·劳尔森 平均能量游戏。 (英语) 兹比尔1390.68115 学报信息。 55,编号2,91-127(2018).MSC公司:68平方米 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,《学报》第55期,第2期,第91-127页(2018年;Zbl 1390.68115) 全文: 内政部 哈尔
帕特里夏·鲍耶;尼古拉斯·马基;米凯尔·兰多尔;Larsen,Kim G。;西蒙·劳尔森 平均能量游戏。 (英语) Zbl 1476.68024号 Esparza,Javier(编辑)等人,《第六届游戏、自动机、逻辑和形式验证国际研讨会论文集》,GandALF 2015,热那亚,意大利,2015年9月21日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)193,1-15(2015)。MSC公司:68平方米 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,《电子》。程序。西奥。计算。科学。(EPTCS)193,1--15(2015;Zbl 1476.68024) 全文: arXiv公司 链接
简·克雷汀斯基;金·古德斯特兰·拉森;西蒙·劳尔森;吉里·斯尔巴 部分可观测条件下加权同步的多项式时间可判定性。 (英语) Zbl 1374.68260号 Aceto,Luca(编辑)等人,第26届并发理论国际会议,CONCUR’15,西班牙马德里,2015年9月1日至4日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-91-0)。LIPIcs–莱布尼茨国际信息学论文集42,142-154(2015)。MSC公司:第68季度第45季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Kretinsky}等人,LIPIcs——莱布尼茨国际程序。通知。42、142--154(2015年;Zbl 1374.68260) 全文: 内政部
金·古德斯特兰·拉森;西蒙·劳尔森;吉·斯尔巴 部分可观测性下的同步策略。 (英语) Zbl 1417.68129号 Baldan,Paolo(编辑)等人,CONCUR 2014–并发理论。第25届国际会议,CONCUR 2014,罗马,意大利,2014年9月2-5日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8704, 188-202 (2014).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Guldstrand Larsen}等人,Lect。注释计算。科学。8704、188--202(2014;Zbl 1417.68129) 全文: 内政部 链接