Treffer: Topology-Specific Synthesis of Self-Stabilizing Parameterized Systems with Constant-Space Processes
Title:
Topology-Specific Synthesis of Self-Stabilizing Parameterized Systems with Constant-Space Processes
Authors:
Source:
IEEE Transactions on Software Engineering IIEEE Trans. Software Eng. Software Engineering, IEEE Transactions on. 47(3):614-629 Mar, 2021
Database:
IEEE Xplore Digital Library