Distributed systems : theory and applications /: theory and applications. (2023)