Research

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


Reference:

Lam, V. S. W. and Padget, J., 2003. On Execution Semantics of UML Statechart Diagrams Using the pi-Calculus. In: Al-Ani, B., Arabnia, H. R. and Mun, Y., eds. Proceedings of the International Conference on Software Engineering Research and Practice, SERP '03, 2003-06-01.

Related documents:

This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below.

Details

Item Type Conference or Workshop Items (Paper)
CreatorsLam, V. S. W.and Padget, J.
EditorsAl-Ani, B., Arabnia, H. R. and Mun, Y.
DepartmentsFaculty of Science > Computer Science
RefereedNo
StatusPublished
ID Code5529

Export

Actions (login required)

View Item