Toward Extracting ?-calculus from UML Sequence and State Diagrams

Katerina Pokozy-Korenblat, Corrado Priami. Toward Extracting ?-calculus from UML Sequence and State Diagrams. Electronic Notes in Theoretical Computer Science, 101:51-72, 2004. [doi]

Abstract

Abstract is missing.