TY - RPRT TI - Multiagent Transition Systems for Composing Fault-Resilient Protocol Stacks AU - Ehud Shapiro PY - 2023 UR - https://arxiv.org/abs/2112.13650 ID - 2112.13650 ER -