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

Juliana de Melo Bezerra, Celso Massaki Hirata. A Polyadic pi-Calculus Approach for the Formal Specification of UML-RT. Adv. Software Engineering, 2009, 2009. [doi]

Authors

Juliana de Melo Bezerra

This author has not been identified. Look up 'Juliana de Melo Bezerra' in Google

Celso Massaki Hirata

This author has not been identified. Look up 'Celso Massaki Hirata' in Google