文件名称：ocaml-mpst:OCaml中的多方会话类型
文件大小：841KB
文件格式：ZIP
更新时间：2024-06-12 03:31:05
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