The general term for this is "Session types." The Par crate is probably the most mature attempt at this to date.

https://github.com/faiface/par