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