【文件属性】:
文件名称:ocaml-mpst:OCaml中的多方会话类型
文件大小:841KB
文件格式:ZIP
更新时间:2021-05-23 09:44:25
JupyterNotebook
OCaml-MPST
什么是ocaml-mpst ?
ocaml-mpst是由OCaml中的多方会话类型(缩写为MPST)提供支持的通信库。 因此,它可以确保:
无死锁
协议保真度(通信将根据规定的协议进行)和
通讯安全(您不会遇到任何类型不匹配的错误)
---假设所有通信通道都是线性使用的。 通过另一个库linocaml动态(默认)或静态检查线性。
安装
安装 。 然后以下命令将在您的OPAM交换机中安装OCaml-MPST:
opam pin -y https://github.com/keigoi/ocaml-mpst.git
它将从该存储库安装几个软件包。 要删除它们,请输入: opam pin remove concur-shims linocaml-light ocaml-mpst ocaml-mpst-lwt ocaml-mpst-plug ocaml-mpst-p