A Process Algebra Based Aspect Weaving Model | IEEE Conference Publication | IEEE Xplore