Reactive Bisimulation Semantics for a Process Algebra with Time-Outs

08/26/2020

∙

by   Rob van Glabbeek, et al.

∙

0

∙

share

This paper introduces the counterpart of strong bisimilarity for labelled transition systems extended with time-out transitions. It supports this concept through a modal characterisation, congruence results for a standard process algebra with recursion, and a complete axiomatisation.