Using p - calculus to Formalize UML Activity Diagram

@inproceedings{Yang2003UsingP,
  title={Using p - calculus to Formalize UML Activity Diagram},
  author={Dong Yang and Shensheng Zhang},
  booktitle={ECBS},
  year={2003}
}
Highly Cited
This paper has 21 citations. REVIEW CITATIONS