Simulation of Communications Protocols Through Graphical Transformation Rules ; CU-CS-597-92