Atig, Mohamed Faouzi; Meyer, Roland; Muskalla, Sebastian; Saivasan, Prakash On the upward/downward closures of Petri nets. (English) Zbl 1441.68142 Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 49, 14 p. (2017). MSC: 68Q85 68Q17 68Q45 PDFBibTeX XMLCite \textit{M. F. Atig} et al., LIPIcs -- Leibniz Int. Proc. Inform. 83, Article 49, 14 p. (2017; Zbl 1441.68142) Full Text: DOI arXiv
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Qadeer, Shaz Context-bounded analysis for concurrent programs with dynamic creation of threads. (English) Zbl 1234.68068 Kowalewski, Stefan (ed.) et al., Tools and algorithms for the construction and analysis of systems. 15th international conference, TACAS 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22–29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00767-5/pbk). Lecture Notes in Computer Science 5505, 107-123 (2009). MSC: 68N30 68Q60 68Q85 PDFBibTeX XMLCite \textit{M. F. Atig} et al., Lect. Notes Comput. Sci. 5505, 107--123 (2009; Zbl 1234.68068) Full Text: DOI arXiv