Paper Info
Title
Reactive Bisimulation Semantics for a Process Algebra with Time-Outs
Abstract
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.
Year
DOI
Venue
2020
10.4230/LIPIcs.CONCUR.2020.6
CONCUR
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
1
Name
Order
Citations
PageRank
Rob J. van Glabbeek11930134.34