98 citations · 569 across the 35 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020★ 4 cited
Reactive Bisimulation Semantics for a Process Algebra with Time-Outs
Rob van Glabbeek
This paper introduces the counterpart of strong bisimilarity for labelled transition systems extended with time-out transitions. It supports this concept through a modal characteri…
cs.LO2020★ 4 cited
Failure Trace Semantics for a Process Algebra with Time-outs
Rob van Glabbeek
This paper extends a standard process algebra with a time-out operator, thereby increasing its absolute expressiveness, while remaining within the realm of untimed process algebra,…