Abstract
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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have