11 citations · 11 across the 5 of their papers we have counts for
Showing 2024Show 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
Semantics for Linear-time Temporal Logic with Finite Observations
Rayhana Amjad, Rob van Glabbeek, Liam O'Connor
LTL3 is a multi-valued variant of Linear-time Temporal Logic for runtime verification applications. The semantic descriptions of LTL3 in previous work are given only in terms of th…