Bonnet, Remi; Chadha, Rohit; Viswanathan, Mahesh; Madhusudan, P. Reachability under contextual locking. (English) Zbl 1274.68064 Log. Methods Comput. Sci. 9, No. 3, Paper No. 21, 17 p. (2013). MSC: 68N30 PDF BibTeX XML Cite \textit{R. Bonnet} et al., Log. Methods Comput. Sci. 9, No. 3, Paper No. 21, 17 p. (2013; Zbl 1274.68064) Full Text: DOI
Bonnet, Rémi; Finkel, Alain; Leroux, Jérôme; Zeitoun, Marc Model checking vector addition systems with one zero-test. (English) Zbl 1242.68196 Log. Methods Comput. Sci. 8, No. 2, Paper No. 11, 25 p. (2012). MSC: 68R99 68Q05 03D99 PDF BibTeX XML Cite \textit{R. Bonnet} et al., Log. Methods Comput. Sci. 8, No. 2, Paper No. 11, 25 p. (2012; Zbl 1242.68196) Full Text: DOI