// Place global declarations here.
const int N = 15;
typedef scalar[N] pid_t;
chan msg_send1, msg_send2;
chan msg_receive1, msg_receive2;
chan msg_send_ack1, msg_send_ack2;
chan msg_receive_ack1, msg_receive_ack2;Sender// Place local declarations here.
clock x;SendCSendASendDSendBReciverclock x;ReceiverAReceiverBReceiverDReceiverCMessageconst pid_t pidclock x;ack2ack1msg2msg1Idle// Place template instantiations here.
// List one or more processes to be composed into a system.
system Sender, Reciver, Message;