Browsing Open Access Repositories by Author "Templemore-Finlayson, Justin George"
Now showing items 1-1 of 1
-
A graphical representation for the formal description technique Estelle
Templemore-Finlayson, Justin George (University of Cape TownFaculty of ScienceDepartment of Computer Science, 1998)This dissertation concerns the specification and description of complex communicating systems using Formal Description Techniques. Specifically, we propose a standard graphical representation for the Formal Description ...