心理同步

此软件的关键字
zbMATH参考文献(参考
4篇文章
参考)
Chevrou,Florent;Hurault,Aurélie;Quéinnec,Philippe:用于验证多功能分布式系统的模块化框架(2019) Konnov,Igor;Lazić,Marijana;Veith,Helmut;Widder,Josef:容错分布式算法安全性和活性验证的简短反例属性(2017) Konnov,Igor;Lazić,Marijana;Veith,Helmut;Widder,Josef:(\textPara^2):阈值保护分布式算法中可及性的参数化路径缩减、加速和SMT(2017) Drăgoi,Cezara;Henzinger,Thomas A.;Zuffrey,Damien:\textscPSync:容错分布式算法的部分同步语言(2016)