Research

Formalization of UML Statechart Diagrams in the $i$-calculus


Reference:

Lam, V. and Padget, J., 2001. Formalization of UML Statechart Diagrams in the $i$-calculus. In: Proceedings of the 13th Australian Software Engineering Conference (ASWEC'01), 2001-08-01, Canberra.

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.and Padget, J.
DepartmentsFaculty of Science > Computer Science
RefereedNo
StatusPublished
ID Code5616

Export

Actions (login required)

View Item