// Place global declarations here. chan SYN_1toN, ACK_1toN, SYN_ACK_1toN, SYN_2toN, ACK_2toN, SYN_ACK_2toN; chan SYN_Nto1, ACK_Nto1, SYN_ACK_Nto1, SYN_Nto2, ACK_Nto2, SYN_ACK_Nto2; // Place template instantiations here. Network1 = Network(SYN_1toN, ACK_1toN, SYN_ACK_1toN, SYN_Nto2, ACK_Nto2, SYN_ACK_Nto2); Network2 = Network(SYN_2toN, ACK_2toN, SYN_ACK_2toN, SYN_Nto1, ACK_Nto1, SYN_ACK_Nto1); Host1Handshake = Host_Handshake(SYN_1toN, ACK_1toN, SYN_ACK_1toN, SYN_Nto1, ACK_Nto1, SYN_ACK_Nto1); Host2Handshake = Host_Handshake(SYN_2toN, ACK_2toN, SYN_ACK_2toN, SYN_Nto2, ACK_Nto2, SYN_ACK_Nto2); // List one or more processes to be composed into a system. system Network1, Network2 ,Host1Handshake,Host2Handshake;