Terminating alternator

In this paper, we present an program that enables the transformation of a nonterminating 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.

• Type: Journal
• Year: 2007
• Where: PPL
• Authors: Sandeep S. Kulkarni
• Keywords: Alternator, Nonterminating Alternator, PPL 2007, Terminating Alternator