A Framework for Validating Session Protocols | IEEE Conference Publication | IEEE Xplore