FTMPST: fault-tolerant multiparty session types

DOI10.46298/LMCS-19(4:14)2023MaRDI QIDQ6828067zbMATH OpenFDO

Authors Kirstin Peters, Uwe Nestmann, Christoph Wagner

Publication date 16 January 2024

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

fault tolerancemultiparty session typeslink and crash failures

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: FTMPST: fault-tolerant multiparty session types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6828067)