Formalization of UML Statechart Diagrams in the π-calculus

Vitus Lam, Julian Padget

Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

12 Citations (SciVal)
Original languageEnglish
Title of host publicationProceedings of the 13th Australian Software Engineering Conference (ASWEC'01)
Pages213--223
Number of pages11
Publication statusPublished - Aug 2001
EventProceedings of the 13th Australian Software Engineering Conference (ASWEC'01) - Canberra
Duration: 1 Aug 2001 → …

Conference

ConferenceProceedings of the 13th Australian Software Engineering Conference (ASWEC'01)
CityCanberra
Period1/08/01 → …

Cite this