Bérard, Béatrice; Bouyer, Patricia; Jugé, Vincent Finite bisimulations for dynamical systems with overlapping trajectories. (English) Zbl 1528.68175 Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 26, 17 p. (2018). MSC: 68Q45 03B25 03C64 68Q60 68Q85 93B03 93C30 PDFBibTeX XMLCite \textit{B. Bérard} et al., LIPIcs -- Leibniz Int. Proc. Inform. 119, Article 26, 17 p. (2018; Zbl 1528.68175) Full Text: DOI
Bouyer, Patricia; Haddad, Serge; Jugé, Vincent Unbounded product-form Petri nets. (English) Zbl 1442.68127 Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 31, 16 p. (2017). MSC: 68Q85 60K30 68Q25 68Q87 PDFBibTeX XMLCite \textit{P. Bouyer} et al., LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 31, 16 p. (2017; Zbl 1442.68127) Full Text: DOI arXiv
Bouyer, Patricia; Jugé, Vincent Dynamic complexity of the Dyck reachability. (English) Zbl 1486.68125 Esparza, Javier (ed.) et al., Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10203, 265-280 (2017). MSC: 68R10 68Q25 PDFBibTeX XMLCite \textit{P. Bouyer} and \textit{V. Jugé}, Lect. Notes Comput. Sci. 10203, 265--280 (2017; Zbl 1486.68125) Full Text: DOI arXiv