sessions

Library to provide session types to allow for static verification of protocols between concurrent computations.
IN THIS PACKAGE

Libraries

This package provides the following libraries (via ocamlobjinfo):

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.

sessions

Documentation:

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