×

Found 6 Documents (Results 1–6)

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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
Full Text: DOI arXiv

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
Full Text: DOI

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
Full Text: arXiv Link

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
Full Text: arXiv Link

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

Software