package sessions

You can search for identifiers within the package.

in-package search v0.2.0

Library to provide session types to allow for static verification of protocols between concurrent computations

Install

dune-project

Dependency

github.com Edit opam file Versions (1)

Authors

E

essdotteedot <essdotteedot@gmail.com>

Maintainers

E

essdotteedot <essdotteedot@gmail.com>

Sources

sha256=7b9693aa4e8571fc7dadeeb971a24e523ad411a6cfd6d2e087aae05cfd3882cc

md5=c2d5f085a0aa0f6b5cf7cac2568560fb

doc/index.html

sessions

API

Library sessions

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

Library sessions.lwt

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

On This Page

API
1. Library sessions
2. Library sessions.lwt