package nuscr
A tool to manipulate and validate Scribble-style multiparty protocols
Install
Dune Dependency
Authors
Maintainers
Sources
nuscr-web-2.0.0.tbz
sha256=fbd17793416c225702a93f52e200e48faa37721cab4d16c3d997500407c6fede
sha512=da005593f3ae30c2566121452535c2405508f197f26962ac25d402e40245b3c8344d5a654cd3e3069f85458b232a845bc4a0371bacc59741dfb067e88cd3d6d0
Description
A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory. The toolkit provides means to define global protocols, project to local protocols, convert local protocols to a CFSM representation, and generate OCaml code for protocol implementations.
Published: 05 Sep 2021
Dependencies (11)
-
process
>= "0.2.1" -
cmdliner
>= "1.0.4" -
ppxlib
>= "0.22.0" -
ocamlgraph
>= "1.8.8" -
ppx_sexp_conv
>= "v0.12.0" -
stdio
>= "v0.12.0" -
base
>= "v0.12.0" & < "v0.17" -
dune
>= "2.8" -
ppx_deriving
>= "5.2" -
menhir
>= "20190924" & < "20211215" -
ocaml
>= "4.08"
Used by
None
Conflicts
None
On This Page