On Unix/Linux and BSD operating systems socket API is part of Standard C Library. It means that no any external dependencies are needed to use it in our C programs.

This paper presents a Rust-based Session Types library to secure the type-safety for software that performs synchronous concurrent communication based on TCP sockets and UNIX domain sockets. Our ...