Jinho On, Yeongbok Choe, Moonkun Lee. An Abstraction Method of Behaviors for Process Algebra. In IEEE 37th Annual Computer Software and Applications Conference, COMPSAC Workshops 2013, Japan, July 22-26, 2013. pages 133-138, IEEE, 2013. [doi]
Abstract is missing.