Towards action-refinement in process algebras | IEEE Conference Publication | IEEE Xplore