Bachelor's Thesis Multi-platform distributed systems with Aggregate Computing in Kotlin: the case of proximity messaging