Advanced Distributed Systems Design - London, UK September 2023