Dong Yang Shen-sheng Zhang Using p - calculus to Formalize UML Activity Diagram. 47-54 2003 conf/ecbs/2003 ECBS http://csdl.computer.org/comp/proceedings/ecbs/2003/1917/00/19170047abs.htm db/conf/ecbs/ecbs2003.html#DongS03