Advances in Software Engineering
Volume 2009 (2009), Article ID 656810, 26 pages
doi:10.1155/2009/656810
Research Article

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

J. M. Bezerra and C. M. Hirata

Computer Science Department, Instituto Tecnológico de Aeronáutica (ITA), São José dos Campos, SP 12228-900, Brazil

Received 6 November 2008; Revised 31 March 2009; Accepted 20 May 2009

Academic Editor: Thomas B. Hilburn

Copyright © 2009 J. M. Bezerra and C. M. Hirata. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

How to Cite this Article

J. M. Bezerra and C. M. Hirata, “A Polyadic pi-Calculus Approach for the Formal Specification of UML-RT,” Advances in Software Engineering, vol. 2009, Article ID 656810, 26 pages, 2009. doi:10.1155/2009/656810