共 42 条
[1]
Adamek Jordan, 2012, Stabilization, Safety, and Security of Distributed Systems. Proceedings of the 14th International Symposium, SSS 2012, P126, DOI 10.1007/978-3-642-33536-5_13
[3]
SASA: A SimulAtor of Self-stabilizing Algorithms
[J].
TESTS AND PROOFS (TAP 2020),
2020, 12165
:143-154
[5]
Arora A., 1991, Parallel Processing Letters, V1, P11, DOI 10.1142/S0129626491000161
[6]
Bernard S, 2010, LECT NOTES COMPUT SC, V5935, P167, DOI 10.1007/978-3-642-11322-2_19
[7]
Bertot Y., 2004, COQART CALCULUS INDU, DOI [10.1007/978-3-662-07964-5, DOI 10.1007/978-3-662-07964-5]
[8]
Boulinier C., 2007, THESIS U PICARDIE JU
[9]
The KIND 2 Model Checker
[J].
COMPUTER AIDED VERIFICATION: 28TH INTERNATIONAL CONFERENCE, CAV 2016, PT II,
2016, 9780
:510-517