// Place global declarations here.
clock globalClock;
const int FRIENDS =3;
const int HANDSHAKES_SIMULTANEOUSLY = 1;
typedef int[0, FRIENDS-1] friend_id;
typedef int[0, HANDSHAKES_SIMULTANEOUSLY-1] shake_id;
chan shake[shake_id];
chan release[shake_id];
friend_id var;Friendconst friend_id id// Place local declarations here.
shake_id h;GivingHandDoingNothingHandshakeconst shake_id idfriend_id first;
friend_id second;
clock x;Two// Place template instantiations here.
// List one or more processes to be composed into a system.
system Friend, Handshake;