D’osualdo, Emanuele; Stutz, Felix Decidable inductive invariants for verification of cryptographic protocols with unbounded sessions. (English) Zbl 07559487 Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 31, 23 p. (2020). MSC: 68Q85 PDF BibTeX XML Cite \textit{E. D'osualdo} and \textit{F. Stutz}, LIPIcs -- Leibniz Int. Proc. Inform. 171, Article 31, 23 p. (2020; Zbl 07559487) Full Text: DOI arXiv
Blondin, Michael; Finkel, Alain; Goubault-Larrecq, Jean Forward analysis for WSTS. III: Karp-Miller trees. (English) Zbl 1491.68118 Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 93, Article 16, 15 p. (2018). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{M. Blondin} et al., LIPIcs -- Leibniz Int. Proc. Inform. 93, Article 16, 15 p. (2018; Zbl 1491.68118) Full Text: DOI
Blondin, Michael; Finkel, Alain; McKenzie, Pierre Handling infinitely branching well-structured transition systems. (English) Zbl 1383.68054 Inf. Comput. 258, 28-49 (2018). MSC: 68Q85 PDF BibTeX XML Cite \textit{M. Blondin} et al., Inf. Comput. 258, 28--49 (2018; Zbl 1383.68054) Full Text: DOI
D’Silva, Vijay; Sousa, Marcelo Complete abstractions and subclassical modal logics. (English) Zbl 1484.68099 Bouajjani, Ahmed (ed.) et al., Verification, model checking, and abstract interpretation. 18th international conference, VMCAI 2017, Paris, France, January 15–17, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10145, 169-186 (2017). MSC: 68Q60 03B45 PDF BibTeX XML Cite \textit{V. D'Silva} and \textit{M. Sousa}, Lect. Notes Comput. Sci. 10145, 169--186 (2017; Zbl 1484.68099) Full Text: DOI
Kurnia, Ilham W.; Poetzsch-Heffter, Arnd Modeling actor systems using dynamic I/O automata. (English) Zbl 1461.68135 Mazzara, Manuel (ed.) et al., Perspectives of system informatics. 10th international Andrei Ershov informatics conference, PSI 2015, in memory of Helmut Veith, Kazan and Innopolis, Russia, August 24–27, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9609, 186-202 (2016). MSC: 68Q85 68Q45 68Q60 PDF BibTeX XML Cite \textit{I. W. Kurnia} and \textit{A. Poetzsch-Heffter}, Lect. Notes Comput. Sci. 9609, 186--202 (2016; Zbl 1461.68135) Full Text: DOI
D’Osualdo, Emanuele; Luke Ong, C.-H. On hierarchical communication topologies in the \(\pi\)-calculus. (English) Zbl 1335.68166 Thiemann, Peter (ed.), Programming languages and systems. 25th European symposium on programming, ESOP 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-49497-4/pbk; 978-3-662-49498-1/ebook). Lecture Notes in Computer Science 9632, 149-175 (2016). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{E. D'Osualdo} and \textit{C. H. Luke Ong}, Lect. Notes Comput. Sci. 9632, 149--175 (2016; Zbl 1335.68166) Full Text: DOI arXiv
Zufferey, Damien; Wies, Thomas; Henzinger, Thomas A. Ideal abstractions for well-structured transition systems. (English) Zbl 1326.68205 Kuncak, Viktor (ed.) et al., Verification, model checking, and abstract interpretation. 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22–24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27939-3/pbk). Lecture Notes in Computer Science 7148, 445-460 (2012). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{D. Zufferey} et al., Lect. Notes Comput. Sci. 7148, 445--460 (2012; Zbl 1326.68205) Full Text: DOI