sessions 0.1.0

Libraries

This package provides the following libraries (via ocamlobjinfo):

sessions

Documentation:

• Binary_session This module provides modules to create binary sessions types for statically verifying protocols between a pair of concurrent processes.

sessions.lwt

Documentation:

• Binary_session_lwt A lwt based implementation of Binary_session.Binary_process that uses a pipe for the communication channel between two processes.