Branching Bisimilarity for Processes with Time-Outs.

Gaspard Reghem, Rob J. van Glabbeek

Browse the full CONCUR paper archive.