Terminating Alternator
Sandeep S. Kulkarni
Abstract
In this paper, we present an program that enables the transformation of a non-terminating alternator into a terminating alternator. Our solution is stabilization preserving and has the potential to preserve maximal concurrency (if available) provided by the non-terminating alternator. It can also be used to transform a program that is stabilizing in interleaving semantics into a program that is stabilizing in powerset semantics.
We also discuss how the terminating alternator can be used to enable a process to gain an understanding of system stability.
Paper:
Return to the publication list
Return to the Sandeep's home page