Showing cs.LOShow all
2 papers · 1 filter
cs.LO2024
Concrete Branching Bisimilarity for Processes with Time-outs
Gaspard Reghem, Rob van Glabbeek
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…
cs.LO2024
Branching Bisimilarity for Processes with Time-outs
Gaspard Reghem, Rob van Glabbeek
This paper provides an adaptation of branching bisimilarity to reactive systems with time-outs. Multiple equivalent definitions are procured, along with a modal characterisation an…