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) |
| Creators | Lam, V. S. W.and Padget, J. |
| Editors | Al-Ani, B., Arabnia, H. R. and Mun, Y. |
| Departments | Faculty of Science > Computer Science |
| Refereed | No |
| Status | Published |
| ID Code | 5529 |
Export
Actions (login required)
| View Item |
