Branching Bisimilarity for Processes with Time-Outs

Gaspard Reghem, Rob J. van Glabbeek. Branching Bisimilarity for Processes with Time-Outs. In Rupak Majumdar, Alexandra Silva 0001, editors, 35th International Conference on Concurrency Theory, CONCUR 2024, September 9-13, 2024, Calgary, Canada. Volume 311 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. [doi]

Abstract

Abstract is missing.