@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
RT @JordanJamesEtem: Abd Alrahman, Y., De Nicola, R., Loreti, M.: On the power of attribute-based communication. In: Albert, E., Lanese, I.…
Abd Alrahman, Y., De Nicola, R., Loreti, M.: On the power of attribute-based communication. In: Albert, E., Lanese, I. (eds.) FORTE 2016. LNCS, vol. 9688, pp. 1–18. Springer, Cham (2016). https://t.co/QGUVTDC49M #AI #Vision @MarinSanna #Community https://
Now appears online https://t.co/KOVYKBrjSX