373AlloyProject This project models the sender receiver problem where there is only one sender and receiver per protocol. This projcet is built in the Alloy Modeling Language for Rose-Hulman's CSSE373 Final Project.