This paper introduces the counterpart of strong bisimilarity for labelled transition systems extended with timeout transitions. It supports this concept through a modal characterisation, congruence results for a standard process algebra with recursion, and a complete axiomatisation.
|Number of pages||47|
|Early online date||8 Apr 2022|
|Publication status||E-pub ahead of print - 8 Apr 2022|