Adore: atomic distributed objects with certified reconfiguration
Autor: | Wolf Honoré, Ji-Yong Shin, Jieung Kim, Zhong Shao |
---|---|
Rok vydání: | 2022 |
Zdroj: | Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. |
DOI: | 10.1145/3519939.3523444 |
Databáze: | OpenAIRE |
Externí odkaz: |