Formalization of UML Statechart Diagrams in the π-calculus

Vitus Lam, Julian Padget

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Citations (Scopus)
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