Finkel, Alain; Praveen, M. Verification of flat FIFO systems. (English) Zbl 07269251 Log. Methods Comput. Sci. 16, No. 4, Paper No. 4, 29 p. (2020). MSC: 03B70 68 PDF BibTeX XML Cite \textit{A. Finkel} and \textit{M. Praveen}, Log. Methods Comput. Sci. 16, No. 4, Paper No. 4, 29 p. (2020; Zbl 07269251) Full Text: Link arXiv
Bonnet, Rémi; Finkel, Alain; Praveen, M. Extending the Rackoff technique to affine nets. (English) Zbl 1354.68190 D’Souza, Deepak (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2012). Selected papers based on the presentations at the 32nd conference, Hyderabad, India, December 15–17, 2012. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-47-7). LIPIcs – Leibniz International Proceedings in Informatics 18, 301-312 (2012). MSC: 68Q85 68Q25 68Q60 PDF BibTeX XML Cite \textit{R. Bonnet} et al., LIPIcs -- Leibniz Int. Proc. Inform. 18, 301--312 (2012; Zbl 1354.68190) Full Text: DOI