1. A Polyadic pi-Calculus Approach for the Formal Specification of UML-RT. (7th June 2009) Authors: Bezerra, J. M.; Hirata, C. M. Other Names: Hilburn Thomas B. Academic Editor. Journal: Advances in software engineering Issue: Volume 2009(2009) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗