Sujeong Woo, Jinho On, Moonkun Lee. An Abstraction Method for Mobility and Interaction in Process Algebra Using Behavior Ontology. In Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2011, Munich, Germany, 18-22 July 2011. pages 128-133, IEEE Computer Society, 2011. [doi]
Abstract is missing.