An Abstraction Method of Behaviors for Process Algebra | IEEE Conference Publication | IEEE Xplore