Bunte, Olav; van Gool, Louis C. M.; Willemse, Tim A. C. On the preservation of properties when changing communication models. (English) Zbl 07726607 Gąsieniec, Leszek (ed.), SOFSEM 2023: theory and practice of computer science. 48th international conference on current trends in theory and practice of computer science, SOFSEM 2023, Nový Smokovec, Slovakia, January 15–18, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13878, 239-253 (2023). MSC: 68Q85 PDFBibTeX XMLCite \textit{O. Bunte} et al., Lect. Notes Comput. Sci. 13878, 239--253 (2023; Zbl 07726607) Full Text: DOI arXiv
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
Lei, Qin; Li, Tao; Lee, Jia; Xu, Wen-Li; Peper, Ferdinand Asynchronous communicating cellular automata: formalization, robustness and equivalence. (English) Zbl 07805736 Inf. Sci. 587, 335-353 (2022). MSC: 68-XX 92-XX PDFBibTeX XMLCite \textit{Q. Lei} et al., Inf. Sci. 587, 335--353 (2022; Zbl 07805736) Full Text: DOI
Chevrou, Florent; Hurault, Aurélie; Quéinnec, Philippe A modular framework for verifying versatile distributed systems. (English) Zbl 1435.68191 J. Log. Algebr. Methods Program. 108, 24-46 (2019). MSC: 68Q60 68M14 PDFBibTeX XMLCite \textit{F. Chevrou} et al., J. Log. Algebr. Methods Program. 108, 24--46 (2019; Zbl 1435.68191) Full Text: DOI Link
Shimi, Adam; Hurault, Aurélie; Quéinnec, Philippe Asynchronous message orderings beyond causality. (English) Zbl 1487.68116 Aspnes, James (ed.) et al., 21st international conference on principles of distributed systems, OPODIS 2017, Lisboa, Portugal, December 18–20, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 95, Article 29, 20 p. (2018). MSC: 68Q10 PDFBibTeX XMLCite \textit{A. Shimi} et al., LIPIcs -- Leibniz Int. Proc. Inform. 95, Article 29, 20 p. (2018; Zbl 1487.68116) Full Text: DOI
Chevrou, Florent; Hurault, Aurélie; Quéinnec, Philippe On the diversity of asynchronous communication. (English) Zbl 1345.68022 Formal Asp. Comput. 28, No. 5, 847-879 (2016). MSC: 68M14 68Q60 PDFBibTeX XMLCite \textit{F. Chevrou} et al., Formal Asp. Comput. 28, No. 5, 847--879 (2016; Zbl 1345.68022) Full Text: DOI HAL