It seems there are many projects trying to find idioms and languages to describe distributed concurrent logic without programming the data transport and synchronization.