On Execution Semantics of UML Statechart Diagrams Using the pi-Calculus

Vitus S W Lam; Julian Padget; Ban Al-Ani; Hamid R Arabnia; Youngsong Mun

On Execution Semantics of UML Statechart Diagrams Using the pi-Calculus

Vitus S W Lam, Julian Padget, Ban Al-Ani (Editor), Hamid R Arabnia (Editor), Youngsong Mun (Editor)

Department of Computer Science

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

Original language	English
Title of host publication	Proceedings of the International Conference on Software Engineering Research and Practice, SERP '03
Pages	877--882
Number of pages	6
Publication status	Published - Jun 2003
Event	Proceedings of the International Conference on Software Engineering Research and Practice, SERP '03 - Duration: 1 Jun 2003 → …

Conference

Conference	Proceedings of the International Conference on Software Engineering Research and Practice, SERP '03
Period	1/06/03 → …

Cite this

On Execution Semantics of UML Statechart Diagrams Using the pi-Calculus. / Lam, Vitus S W; Padget, Julian; Al-Ani, Ban (Editor) et al.
Proceedings of the International Conference on Software Engineering Research and Practice, SERP '03. 2003. p. 877--882.

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

Lam, VSW, Padget, J, Al-Ani, B (ed.), Arabnia, HR (ed.) & Mun, Y (ed.) 2003, On Execution Semantics of UML Statechart Diagrams Using the pi-Calculus. in Proceedings of the International Conference on Software Engineering Research and Practice, SERP '03. pp. 877--882, Proceedings of the International Conference on Software Engineering Research and Practice, SERP '03, 1/06/03.

@inproceedings{951da30d19e94b37b36e5e2c0d993fb4,

title = "On Execution Semantics of UML Statechart Diagrams Using the pi-Calculus",

author = "Lam, {Vitus S W} and Julian Padget and Ban Al-Ani and Arabnia, {Hamid R} and Youngsong Mun",

year = "2003",

month = jun,

language = "English",

pages = "877----882",

booktitle = "Proceedings of the International Conference on Software Engineering Research and Practice, SERP '03",

note = "Proceedings of the International Conference on Software Engineering Research and Practice, SERP '03 ; Conference date: 01-06-2003",

}

TY - GEN

T1 - On Execution Semantics of UML Statechart Diagrams Using the pi-Calculus

AU - Lam, Vitus S W

AU - Padget, Julian

A2 - Al-Ani, Ban

A2 - Arabnia, Hamid R

A2 - Mun, Youngsong

PY - 2003/6

Y1 - 2003/6

M3 - Chapter in a published conference proceeding

SP - 877

EP - 882

BT - Proceedings of the International Conference on Software Engineering Research and Practice, SERP '03

T2 - Proceedings of the International Conference on Software Engineering Research and Practice, SERP '03

Y2 - 1 June 2003

ER -