Hélouët, Loïc; Agrawal, Pranay Waiting nets: state classes and taxonomy. (English) Zbl 07801675 Fundam. Inform. 190, No. 2-4, 63-107 (2024). MSC: 68-XX PDFBibTeX XMLCite \textit{L. Hélouët} and \textit{P. Agrawal}, Fundam. Inform. 190, No. 2--4, 63--107 (2024; Zbl 07801675) Full Text: DOI arXiv
Barozzini, David; Clemente, Lorenzo; Colcombet, Thomas; Parys, Paweł Cost automata, safe schemes, and downward closures. (English) Zbl 07687252 Fundam. Inform. 188, No. 3, 127-178 (2022). MSC: 68-XX PDFBibTeX XMLCite \textit{D. Barozzini} et al., Fundam. Inform. 188, No. 3, 127--178 (2022; Zbl 07687252) Full Text: DOI arXiv
Esparza, Javier; Raskin, Mikhail; Welzel, Christoph Computing parameterized invariants of parameterized Petri nets. (English) Zbl 07609826 Fundam. Inform. 187, No. 2-4, 197-243 (2022). MSC: 68-XX PDFBibTeX XMLCite \textit{J. Esparza} et al., Fundam. Inform. 187, No. 2--4, 197--243 (2022; Zbl 07609826) Full Text: DOI
Ganty, Pierre; Gutiérrez, Elena; Valero, Pedro A congruence-based perspective on finite tree automata. (English) Zbl 1522.68268 Fundam. Inform. 184, No. 1, 1-47 (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{P. Ganty} et al., Fundam. Inform. 184, No. 1, 1--47 (2021; Zbl 1522.68268) Full Text: DOI arXiv
Lime, Didier; Roux, Olivier H.; Seidner, Charlotte Cost problems for parametric time Petri nets. (English) Zbl 1522.68367 Fundam. Inform. 183, No. 1-2, 97-123 (2021). MSC: 68Q85 PDFBibTeX XMLCite \textit{D. Lime} et al., Fundam. Inform. 183, No. 1--2, 97--123 (2021; Zbl 1522.68367) Full Text: DOI arXiv
Kuperberg, Denis; Pinault, Laureline; Pous, Damien Coinductive algorithms for Büchi automata. (English) Zbl 1497.68272 Fundam. Inform. 180, No. 4, 351-373 (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{D. Kuperberg} et al., Fundam. Inform. 180, No. 4, 351--373 (2021; Zbl 1497.68272) Full Text: DOI
Conchon, Sylvain; Delzanno, Giorgio; Ferrando, Angelo Declarative parameterized verification of distributed protocols via the Cubicle model checker. (English) Zbl 1497.68293 Fundam. Inform. 178, No. 4, 347-378 (2021). MSC: 68Q60 68M12 PDFBibTeX XMLCite \textit{S. Conchon} et al., Fundam. Inform. 178, No. 4, 347--378 (2021; Zbl 1497.68293) Full Text: DOI
Hutagalung, Milka Topological characterisation of multi-buffer simulation. (English) Zbl 1478.68129 Fundam. Inform. 178, No. 1-2, 77-99 (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{M. Hutagalung}, Fundam. Inform. 178, No. 1--2, 77--99 (2021; Zbl 1478.68129) Full Text: DOI