Initial commit.
Made process B send message as well as receive.
Merge branch 'master' of https://github.com/sirarsalih/concurrent-process-communication-promela