TY - RPRT TI - Modelling cooperating failure-resilient Processes AU - RĂ¼diger Valk PY - 2024 UR - https://arxiv.org/abs/2409.18318 ID - 2409.18318 ER -