A Process algebraic framework for service coordination | IEEE Conference Publication | IEEE Xplore