Branching Bisimilarity for Processes with Time-outs
<|reference_start|>Branching Bisimilarity for Processes with Time-outs: This paper provides an adaptation of branching bisimilarity to reactive systems with time-outs. Multiple equivalent definitions are procured, along with a modal characterisation and a proof of its congruence property for a standard process algebra with recursion. The last section presents a complete axiomatisation for guarded processes without infinite sequences of unobservable actions.<|reference_end|>
@article{reghem2024branching,
    title={Branching Bisimilarity for Processes with Time-outs},
    author={Gaspard Reghem and Rob van Glabbeek},
    journal={arXiv preprint arXiv:2408.10117},
    year={2024},
    archivePrefix={arXiv},
    eprint={2408.10117},
    primaryClass={cs.LO}
}