Promela Model

Click clientServer.txt link to view the file.