An Asynchronous Game on Distributed Petri Nets
暂无分享,去创建一个
[1] Luca Bernardinello,et al. Checking Weak Observable Liveness on Unfoldings Through Asynchronous Games , 2018, PNSE@Petri Nets/ACSD.
[2] Julian Gutierrez. Concurrent Logic Games on Partial Orders , 2011, WoLLIC.
[3] Jörg Desel,et al. Observable liveness of Petri nets , 2015, Acta Informatica.
[4] Joost Engelfriet,et al. Branching processes of Petri nets , 1991, Acta Informatica.
[5] Philippe Darondeau,et al. Petri Net Distributability , 2011, Ershov Memorial Conference.
[6] Bernd Finkbeiner,et al. Adam: Causality-Based Synthesis of Distributed Systems , 2015, CAV.
[7] Ursula Goltz,et al. On Characterising Distributability , 2013, Log. Methods Comput. Sci..
[8] Bernd Finkbeiner,et al. Petri Games: Synthesis of Distributed Systems with Causal Memory , 2014, GandALF.
[9] Lev D. Beklemishev,et al. Logic, language, information and computation : 18th international workshop, WOLLIC 2011 Philadelphia, PA, USA : proceedings , 2011 .
[10] Glynn Winskel,et al. Distributed Games and Strategies , 2016, ArXiv.
[11] Luca Bernardinello,et al. Weak Observable Liveness and Infinite Games on Finite Graphs , 2017, Petri Nets.