Formalization of UML Statechart Diagrams in the π-calculus

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

12 Citations (SciVal)

Original language	English
Title of host publication	Proceedings of the 13th Australian Software Engineering Conference (ASWEC'01)
Pages	213--223
Number of pages	11
Publication status	Published - Aug 2001
Event	Proceedings of the 13th Australian Software Engineering Conference (ASWEC'01) - Canberra Duration: 1 Aug 2001 → …

Conference	Proceedings of the 13th Australian Software Engineering Conference (ASWEC'01)
City	Canberra
Period	1/08/01 → …

Cite this

@inproceedings{e974b70ef70b41c29511f8bdd9aa413a,

title = "Formalization of UML Statechart Diagrams in the π-calculus",

author = "Vitus Lam and Julian Padget",

year = "2001",

month = aug,

language = "English",

pages = "213----223",

booktitle = "Proceedings of the 13th Australian Software Engineering Conference (ASWEC'01)",

note = "Proceedings of the 13th Australian Software Engineering Conference (ASWEC'01) ; Conference date: 01-08-2001",

}

TY - GEN

T1 - Formalization of UML Statechart Diagrams in the π-calculus

AU - Lam, Vitus

AU - Padget, Julian

PY - 2001/8

Y1 - 2001/8

M3 - Chapter in a published conference proceeding

SP - 213

EP - 223

BT - Proceedings of the 13th Australian Software Engineering Conference (ASWEC'01)

T2 - Proceedings of the 13th Australian Software Engineering Conference (ASWEC'01)

Y2 - 1 August 2001

ER -