663 followers
@u_map_prop @statusfailed We have long speculated about using choreographic programming for location-aware computation. We know how to model a few parallel algorithms and even type choreographies to check that they respect some topology. Some examples in h