// Place global declarations here.
Networkconst int MAX_TT = 2000; // Arbitrary Max Round Trip Time for now
const int MIN_TT = 200; // Arbitrary Max Round Trip Time for now
chan SYN, ACK, SYN_ACK;
clock transmission_time;PacketLostPacketInTransitPacketDeliveredReadyToReceiveHost_Handshakechan SYN, ACK, SYN_ACK;EstablishedSynRcvdSynSentListenClosed// Place template instantiations here.
Network1 = Network();
Host1_Handshake = Host_Handshake();
Host2_Handshake = Host_Handshake();
// List one or more processes to be composed into a system.
system Network,Host1_Handshake,Host2_Handshake;