Browsing Computer Science by Author "Langari, Zarrin"
Now showing items 1-1 of 1
-
Modelling and Analysis using Graph Transformation Systems
Langari, Zarrin (University of Waterloo, 2010-11-01)Communication protocols, a class of critical systems, play an important role in industry. These protocols are critical because the tolerance for faults in these systems is low and it is highly desirable that these systems ...