Library to provide session types to allow for static verification of protocols between concurrent computations.
This package provides the following libraries (via ocamlobjinfo):
Binary_session_lwtA lwt based implementation of
Binary_session.Binary_process that uses a pipe for the communication channel between two processes.
Binary_sessionThis module provides modules to create binary sessions types for statically verifying protocols between a pair of concurrent processes.