A Polyadic pi-Calculus Approach for the Formal Specification of UML-RT

@article{Bezerra2009APP,
  title={A Polyadic pi-Calculus Approach for the Formal Specification of UML-RT},
  author={Juliana de Melo Bezerra and Celso Massaki Hirata},
  journal={Adv. Software Engineering},
  year={2009},
  volume={2009},
  pages={656810:1-656810:26}
}
BETA
Tweets
This paper has been referenced on Twitter 1 time. VIEW TWEETS

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…