Communicating process architectures 2008 WoTUG-31 - Welch, P. H. (IOS Press, 2008)