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

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