package nuscr
A tool to manipulate and validate Scribble-style multiparty protocols
Install
Dune Dependency
Authors
Maintainers
Sources
nuscr-2.1.1.tbz
sha256=c5a419fd1fdea78fb63b3a3c335b0e6b0f2b08d65b79870565bdcc0f997bc728
sha512=83ef593ed514eeef1b10069af54562833d617d1c338c5adaf82ee5c3ea7ec4569b3643fcbb237b3cb79ce2f579094cbd17217efa5f4e522bd20f67e1df3a7dbd
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: 19 Jul 2022
Dependencies (12)
-
process
>= "0.2.1" -
cmdliner
>= "1.1.0" -
ppxlib
>= "0.22.0" -
ocamlgraph
>= "1.8.8" -
ppx_here
>= "v0.12.0" -
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" -
ocaml
>= "4.10"
Used by
None
Conflicts
None
On This Page