2024/10/07 by Gaspard Reghem, Reghem, Gaspard, Rob van Glabbeek +1
Engineering · #Innovations in Concrete and Construction Materials
paper · pdf · doi:10.48550/arxiv.2412.19805
This paper provides an adaptation of branching bisimilarity to reactive systems with time-outs that does not enable eliding of time-out transitions. 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.