Di Giusto, Cinzia; Laversa, Laetitia; Lozes, Etienne Guessing the buffer bound for \(k\)-synchronizability. (English) Zbl 07770240 Int. J. Found. Comput. Sci. 34, No. 8, 1051-1076 (2023). MSC: 68Qxx 68Nxx 68Mxx PDFBibTeX XMLCite \textit{C. Di Giusto} et al., Int. J. Found. Comput. Sci. 34, No. 8, 1051--1076 (2023; Zbl 07770240) Full Text: DOI
Di Giusto, Cinzia; Guizouarn, Loïc Germerie; Lozes, Etienne Multiparty half-duplex systems and synchronous communications. (English) Zbl 1512.68165 J. Log. Algebr. Methods Program. 131, Article ID 100843, 17 p. (2023). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{C. Di Giusto} et al., J. Log. Algebr. Methods Program. 131, Article ID 100843, 17 p. (2023; Zbl 1512.68165) Full Text: DOI
de Oliveira Oliveira, Mateus Synthesis and analysis of Petri nets from causal specifications. (English) Zbl 1514.68161 Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13372, 447-467 (2022). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{M. de Oliveira Oliveira}, Lect. Notes Comput. Sci. 13372, 447--467 (2022; Zbl 1514.68161) Full Text: DOI OA License
Bollig, Benedikt; Finkel, Alain; Suresh, Amrita Bounded reachability problems are decidable in FIFO machines. (English) Zbl 07471708 Log. Methods Comput. Sci. 18, No. 1, Paper No. 19, 32 p. (2022). MSC: 68-XX PDFBibTeX XMLCite \textit{B. Bollig} et al., Log. Methods Comput. Sci. 18, No. 1, Paper No. 19, 32 p. (2022; Zbl 07471708) Full Text: arXiv Link
Di Giusto, Cinzia; Laversa, Laetitia; Lozes, Etienne Guessing the buffer bound for k-synchronizability. (English) Zbl 07495108 Maneth, Sebastian (ed.), Implementation and application of automata. 25th international conference, CIAA 2021, virtual event, July 19–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12803, 102-114 (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{C. Di Giusto} et al., Lect. Notes Comput. Sci. 12803, 102--114 (2021; Zbl 07495108) Full Text: DOI arXiv
Bravetti, Mario; Lange, Julien; Zavattaro, Gianluigi Fair refinement for asynchronous session types. (English) Zbl 07410423 Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12650, 144-163 (2021). MSC: 68Nxx 68Qxx PDFBibTeX XMLCite \textit{M. Bravetti} et al., Lect. Notes Comput. Sci. 12650, 144--163 (2021; Zbl 07410423) Full Text: DOI arXiv OA License
Bravetti, Mario; Carbone, Marco; Lange, Julien; Yoshida, Nobuko; Zavattaro, Gianluigi A sound algorithm for asynchronous session subtyping and its implementation. (English) Zbl 1509.68184 Log. Methods Comput. Sci. 17, No. 1, Paper No. 20, 35 p. (2021). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. Bravetti} et al., Log. Methods Comput. Sci. 17, No. 1, Paper No. 20, 35 p. (2021; Zbl 1509.68184) Full Text: arXiv Link
Finkel, Alain; Praveen, M. Verification of flat FIFO systems. (English) Zbl 1534.68101 Log. Methods Comput. Sci. 16, No. 4, Paper No. 4, 29 p. (2020). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{A. Finkel} and \textit{M. Praveen}, Log. Methods Comput. Sci. 16, No. 4, Paper No. 4, 29 p. (2020; Zbl 1534.68101) Full Text: arXiv Link
Di Giusto, Cinzia; Laversa, Laetitia; Lozes, Etienne On the \(k\)-synchronizability of systems. (English) Zbl 07250937 Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 157-176 (2020). MSC: 68Nxx 68Qxx PDFBibTeX XMLCite \textit{C. Di Giusto} et al., Lect. Notes Comput. Sci. 12077, 157--176 (2020; Zbl 07250937) Full Text: DOI arXiv
Bravetti, Mario; Carbone, Marco; Lange, Julien; Yoshida, Nobuko; Zavattaro, Gianluigi A sound algorithm for asynchronous session subtyping. (English) Zbl 07649946 Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 38, 16 p. (2019). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. Bravetti} et al., LIPIcs -- Leibniz Int. Proc. Inform. 140, Article 38, 16 p. (2019; Zbl 07649946) Full Text: DOI
Finkel, Alain; Praveen, M. Verification of flat FIFO systems. (English) Zbl 1534.68102 Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 12, 17 p. (2019). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{A. Finkel} and \textit{M. Praveen}, LIPIcs -- Leibniz Int. Proc. Inform. 140, Article 12, 17 p. (2019; Zbl 1534.68102) Full Text: DOI
Bollig, Benedikt; Fortin, Marie; Gastin, Paul It is easy to be wise after the event: communicating finite-state machines capture first-order logic with “happened before”. (English) Zbl 1487.68163 Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 7, 17 p. (2018). MSC: 68Q85 03B70 68Q45 PDFBibTeX XMLCite \textit{B. Bollig} et al., LIPIcs -- Leibniz Int. Proc. Inform. 118, Article 7, 17 p. (2018; Zbl 1487.68163) Full Text: DOI arXiv
Bollig, Benedikt; Grindei, Manuela-Lidia; Habermehl, Peter Realizability of concurrent recursive programs. (English) Zbl 1425.68062 Form. Methods Syst. Des. 53, No. 3, 339-362 (2018). MSC: 68N30 68Q45 68Q60 68Q85 PDFBibTeX XMLCite \textit{B. Bollig} et al., Form. Methods Syst. Des. 53, No. 3, 339--362 (2018; Zbl 1425.68062) Full Text: DOI
Darondeau, Philippe; Genest, Blaise; Thiagarajan, P. S.; Yang, Shaofa Quasi-static scheduling of communicating tasks. (English) Zbl 1209.68060 Inf. Comput. 208, No. 10, 1154-1168 (2010). MSC: 68M20 PDFBibTeX XMLCite \textit{P. Darondeau} et al., Inf. Comput. 208, No. 10, 1154--1168 (2010; Zbl 1209.68060) Full Text: DOI HAL