| Binary_session |
This module provides modules to create binary sessions types for statically verifying protocols between
a pair of concurrent processes.
|
| Binary_session_lwt |
A lwt based implementation of
Binary_session.Binary_process
that uses a pipe for the communication channel between two processes.
|