Korenblat, Katerina and Priami, Corrado (2003) Extraction of pi-calculus specifications from UML sequence and state diagrams. UNSPECIFIED. (Unpublished)