Interacting processes: a language for coordinated distributed programming | IEEE Conference Publication | IEEE Xplore