Synthesizing Parameterized Self-stabilizing Rings with Constant-Space Processes

Fundamentals of Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-68972-2_7 ◽

2017 ◽

pp. 100-115 ◽

Cited By ~ 2

Author(s):

Alex P. Klinkhamer ◽

Ali Ebnenasir

Download Full-text