Towards Bidirectional Synchronization Between Communicating Processes and Session Types | IEEE Conference Publication | IEEE Xplore