In: Desel, J.; Silva, M.: Lecture Notes in Computer Science, Vol. 1420: 19th Int. Conf. on Application and Theory of Petri Nets, ICATPN'98, Lisbon, Portugal, June 1998, pages 185-204. Berlin: Springer-Verlag, June 1998.
Abstract: A formerly developed approach for comparing the efficiency of asynchronous systems is applied to some taken-passing systems (one of them presumably new) that solve the MUTEX-problem. While the original approach compares systems, we also quantify the efficiency by a number and used our tool FastAsy to assess the effects the number of users and the delay in their communication links have. Finally, some new results allowed us to prove correctness of the solutions with FastAsy.