IEEE - Institute of Electrical and Electronics Engineers, Inc. - Topology-Specific Synthesis of Self-Stabilizing Parameterized Systems With Constant-Space Processes

Author(s): Ali Ebnenasir ; Alex Klinkhamer
Sponsor(s): IEEE Comput. Soc. Tech. Council on Software Eng.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Volume: PP
Page(s): 1
ISSN (CD): 2326-3881
ISSN (Electronic): 1939-3520
ISSN (Paper): 0098-5589
DOI: 10.1109/TSE.2019.2901485
Regular:

This paper investigates the problem of synthesizing parameterized systems that are self-stabilizing by construction. To this end, we present several significant results. First, we show a... View More

Advertisement