Session types framework with support of protocol pipelining. - View it on GitHub
Star
9
Rank
1374716