A New Equivalence for Processes with Timing With an Application to Protocol Verification (2002)
| Venue: | Department of Mathematics and Computer Science, Eindhoven University of Technology |
| Citations: | 5 - 3 self |
BibTeX
@TECHREPORT{Baeten02anew,
author = {J.C.M. Baeten and C. A. Middelburg and M.A. Reniers},
title = {A New Equivalence for Processes with Timing With an Application to Protocol Verification},
institution = {Department of Mathematics and Computer Science, Eindhoven University of Technology},
year = {2002}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We propose a variant of the version of branching bisimulation equivalence for processes with discrete relative timing from Baeten, Bergstra, and Reniers. We show that this new equivalence allows for the functional correctness of the PAR protocol as well as its performance properties to be analyzed. The new equivalence still coincides with the original version of branching bisimulation equivalence from van Glabbeek and Weijland in the case without timing.
