Peters, Kirstin; Nestmann, Uwe; Wagner, Christoph FTMPST: fault-tolerant multiparty session types. (English) Zbl 07788986 Log. Methods Comput. Sci. 19, No. 4, Paper No. 14, 39 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{K. Peters} et al., Log. Methods Comput. Sci. 19, No. 4, Paper No. 14, 39 p. (2023; Zbl 07788986) Full Text: DOI arXiv
Peters, Kirstin; Nestmann, Uwe; Wagner, Christoph Fault-tolerant multiparty session types. (English) Zbl 1499.68233 Mousavi, Mohammad Reza (ed.) et al., Formal techniques for distributed objects, components, and systems. 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13273, 93-113 (2022). MSC: 68Q85 68M14 68M15 68W15 PDFBibTeX XMLCite \textit{K. Peters} et al., Lect. Notes Comput. Sci. 13273, 93--113 (2022; Zbl 1499.68233) Full Text: DOI arXiv
Peters, Kirstin; Wagner, Christoph; Nestmann, Uwe Taming concurrency for verification using multiparty session types. (English) Zbl 07142677 Hierons, Robert Mark (ed.) et al., Theoretical aspects of computing – ICTAC 2019. 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11884, 196-215 (2019). MSC: 68Qxx PDFBibTeX XMLCite \textit{K. Peters} et al., Lect. Notes Comput. Sci. 11884, 196--215 (2019; Zbl 07142677) Full Text: DOI arXiv
Rickmann, Christina; Wagner, Christoph; Nestmann, Uwe; Schmid, Stefan Topological self-stabilization with name-passing process calculi. (English) Zbl 1392.68314 Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 19, 15 p. (2016). MSC: 68Q85 68W15 PDFBibTeX XMLCite \textit{C. Rickmann} et al., LIPIcs -- Leibniz Int. Proc. Inform. 59, Article 19, 15 p. (2016; Zbl 1392.68314) Full Text: DOI
Hatzel, Meike; Wagner, Christoph; Peters, Kirstin; Nestmann, Uwe Encoding CSP into CCS. (English) Zbl 1476.68173 Crafa, Silvia (ed.) et al., Proceedings of the combined 22th international workshop on expressiveness in concurrency and 12th workshop on structural operational semantics, EXPRESS/SOS 2015, Madrid, Spain, August 31, 2015. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 190, 61-75 (2015). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. Hatzel} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 190, 61--75 (2015; Zbl 1476.68173) Full Text: arXiv Link
Wagner, Christoph; Nestmann, Uwe States in process calculi. (English) Zbl 1464.68267 Borgström, Johannes (ed.) et al., Proceedings of the combined 21st international workshop on expressiveness in concurrency and 11th workshop on structural operational semantics, EXPRESS/SOS 2014, Rome, Italy, September 1, 2014. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 160, 48-62 (2014). MSC: 68Q85 PDFBibTeX XMLCite \textit{C. Wagner} and \textit{U. Nestmann}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 160, 48--62 (2014; Zbl 1464.68267) Full Text: arXiv Link