Browsing by Author "Templemore-Finlayson, Justin George"
Now showing items 1-1 of 1
-
A graphical representation for the formal description technique Estelle
(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 ...