sessions
Library to provide session types to allow for static verification of protocols between concurrent computations.
1024">
IN THIS PACKAGE
-
library sessions
-
module Binary_session
-
module type Binary_process
-
module type IO
-
-
-
library sessions-lwt
-
module Binary_session_lwt
-
module Make
-
-
Libraries
This package provides the following libraries (via ocamlobjinfo):
sessions-lwt
Documentation:
Binary_session_lwt
A lwt based implementation ofBinary_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.