Leroux, Jérôme; Praveen, M.; Schnoebelen, Philippe; Sutre, Grégoire On functions weakly computable by pushdown Petri nets and related systems. (English) Zbl 1427.68203 Log. Methods Comput. Sci. 15, No. 4, Paper No. 15, 26 p. (2019). MSC: 68Q85 68Q10 PDF BibTeX XML Cite \textit{J. Leroux} et al., Log. Methods Comput. Sci. 15, No. 4, Paper No. 15, 26 p. (2019; Zbl 1427.68203) Full Text: arXiv
Leroux, Jérôme; Praveen, M.; Sutre, Grégoire Hyper-Ackermannian bounds for pushdown vector addition systems. (English) Zbl 1392.68307 Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 63, 10 p. (2014). MSC: 68Q85 68Q25 68Q45 68Q60 PDF BibTeX XML Cite \textit{J. Leroux} et al., in: Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14--18, 2014. Los Alamitos, CA: IEEE Computer Society. Paper No. 63, 10 p. (2014; Zbl 1392.68307) Full Text: DOI
Leroux, Jérôme; Praveen, M.; Sutre, Grégoire A relational trace logic for vector addition systems with application to context-freeness. (English) Zbl 1390.68478 D’Argenio, Pedro R. (ed.) et al., CONCUR 2013 – concurrency theory. 24th international conference, CONCUR 2013, Buenos Aires, Argentina, August 27–30, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40183-1/pbk). Lecture Notes in Computer Science 8052, 137-151 (2013). MSC: 68Q85 03B70 PDF BibTeX XML Cite \textit{J. Leroux} et al., Lect. Notes Comput. Sci. 8052, 137--151 (2013; Zbl 1390.68478) Full Text: DOI