An Abstraction Method for Mobility and Interaction in Process Algebra Using Behavior Ontology.

Sujeong Woo, Jinho On, Moonkun Lee

Browse the full COMPSAC paper archive.